Michał Łępicki

Results 5 repositories owned by


                                            Michał Łępicki

Stars

Forks

Watchers

Erlang plugin for asdf version manager, using Erlang builds by hexpm/bob

Stars

Forks

Watchers

Daily Dialyzer checks on Elixir source code

Stars

Forks

Watchers

An unfinished and outdated attempt at implementing the example "realworld" JSON API backend in Gleam

Stars

Forks

Watchers

Algebraic Subtyping typechecking algorithms implemented in Erlang

Stars

Forks

Watchers

Ahnfelt's Type Inference by Example but implemented in Gleam