Discover @michallepicki Open Source projects

Michał Łępicki (@michallepicki)

michallepicki

Stars
66
Global Rank 280,620 (Top 10 %)
Followers 57
Following 39
Registered over 11 years ago
Most used languages

Erlang
36.4 %

Shell
27.3 %

Gleam 18.2 %

Elixir
9.1 %

HTML
9.1 %
Location 🇵🇱 Poland
Country Total Rank 2,565
Country Ranking

Gleam 2

Erlang
26

Elixir
71

Shell
308

HTML
2,243

suber

Algebraic Subtyping typechecking algorithms implemented in Erlang

tibe

Ahnfelt's Type Inference by Example but implemented in Gleam

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