michallepicki/adventofcode

Stars
2
Language Gleam
Created almost 6 years ago
Updated 12 months ago

michallepicki/adventofcode

michallepicki

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

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

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