Pinned Repositories
adventofcode
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
ber
A port of a bidirectional typechecking algorithm from F# to Sesterl
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/tibe
Ahnfelt's Type Inference by Example but implemented in Gleam
michallepicki/elixir-lang-dialyzer-runs
Daily Dialyzer checks on Elixir source code
michallepicki/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
michallepicki/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
michallepicki/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
michallepicki/adventofcode
michallepicki/floki
Floki is a simple HTML parser that enables search for nodes using CSS selectors.
michallepicki/asdf-erlang-prebuilt-macos
Erlang plugin for asdf version manager, using Erlang builds by erlef/otp_builds for macOS
michallepicki/bamboo
Testable, composable, and adapter based Elixir email library for devs that love piping.
michallepicki/bamboo_ses
AWS SES adapter for Bamboo
michallepicki/bob
The Builder
michallepicki/db_connection
Database connection behaviour
michallepicki/dotfiles
michallepicki/ecto_psql_extras
Ecto PostgreSQL database performance insights. Locks, index usage, buffer cache hit ratios, vacuum stats and more.
michallepicki/elixir
Elixir is a dynamic, functional language designed for building scalable and maintainable applications
michallepicki/elixir-1-16-git-dep-mix-exs-warnings-repro
michallepicki/exercism-gleam
Exercism exercises in Gleam.
michallepicki/flop
Filtering, ordering and pagination for Ecto
michallepicki/gleam
⭐️ A friendly language for building type-safe, scalable systems!
michallepicki/hound
Elixir library for writing integration tests and browser automation
michallepicki/kilo
https://viewsourcecode.org/snaptoken/kilo/
michallepicki/mochiweb
MochiWeb is an Erlang library for building lightweight HTTP servers.
michallepicki/oban
💎 Robust job processing in Elixir, backed by modern PostgreSQL and SQLite3
michallepicki/phoenix_components_only
A simpler (and with more static checks) way to build Phoenix apps
michallepicki/sofle
michallepicki/stlc
michallepicki/table_rex
An Elixir app which generates text-based tables for display
michallepicki/vscode-elixir-ls
Elixir language support and debugger for VS Code, powered by ElixirLS.
michallepicki/vscode-lexical
VSCode extension for Lexical, the modern Elixir language server
michallepicki/website
🏡 Gleam's website and guide