Pinned Repositories
adventofcode
asdf-erlang-prebuilt-macos
Erlang plugin for asdf version manager, using Erlang builds by erlef/otp_builds for macOS
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
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
elixir-lang-dialyzer-runs
Daily Dialyzer checks on Elixir source code
gleam-realworld-example-app
An unfinished and outdated attempt at implementing the example "realworld" JSON API backend in Gleam
rwc
slowly going through the "Real World Ocaml" book, but using Caramel
suber
Algebraic Subtyping typechecking algorithms implemented in Erlang
tibe
Ahnfelt's Type Inference by Example but implemented in Gleam
michallepicki's Repositories
michallepicki/suber
Algebraic Subtyping typechecking algorithms implemented in Erlang
michallepicki/gleam-realworld-example-app
An unfinished and outdated attempt at implementing the example "realworld" JSON API backend in Gleam
michallepicki/rwc
slowly going through the "Real World Ocaml" book, but using Caramel
michallepicki/ber
A port of a bidirectional typechecking algorithm from F# to Sesterl
michallepicki/blog
My personal weblog
michallepicki/gleam_ping_pong
two processes using gleam/otp actor
michallepicki/asdf-elixir-notest
A fork of the asdf-elixir plugin which doesn't run tests when compiling Elixir from source, to save a minute or two
michallepicki/asdf-erlang-prebuilt-ubuntu-18.04
Erlang plugin for asdf version manager, using Erlang builds by hexpm/bob, for amd64 ubuntu from 18.04 to 19.10
michallepicki/finch
Elixir HTTP client, focused on performance
michallepicki/lang
A small example on how one might use leex+yacc from Gleam
michallepicki/nimble_options_type
Generating type specs for NimbleOptions schemas
michallepicki/problem-specifications
Shared metadata for exercism exercises.
michallepicki/serge
Playing with Gleam and Erlang's ETS
michallepicki/stdlib
🎁 Gleam's standard library
michallepicki/zee-builds
building the zee terminal text editor on Github Actions for easy download