michallepicki/tibe

Stars
12
Rank 1,597,372 (Top 32 %)
Language Gleam
Created over 2 years ago
Updated over 1 year ago

michallepicki/tibe

michallepicki

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Ahnfelt's Type Inference by Example but implemented in Gleam

suber

Algebraic Subtyping typechecking algorithms implemented in Erlang

elixir-lang-dialyzer-runs

Daily Dialyzer checks on Elixir source code

asdf-erlang-prebuilt-ubuntu-20.04

Erlang plugin for asdf version manager, using Erlang builds by hexpm/bob, for amd64 ubuntu from 20.04 to 21.10

asdf-erlang-prebuilt-ubuntu-22.04

Erlang plugin for asdf version manager, using Erlang builds by hexpm/bob, for amd64 ubuntu from 22.04 to 23.10

rwc

slowly going through the "Real World Ocaml" book, but using Caramel

adventofcode

ber

A port of a bidirectional typechecking algorithm from F# to Sesterl

gleam_ping_pong

two processes using gleam/otp actor

blog

My personal weblog

asdf-erlang-prebuilt-ubuntu-24.04

Erlang plugin for asdf version manager, using Erlang builds by hexpm/bob, for amd64 ubuntu from 24.04 to 25.10