Tools for tighter (more static) programming in Elixir with a particular focus on distinguishing types of binary data and pushing offensiv...

Monads and other dark magic (monoids, functors, traversables, &c), forked by doma for maintenance and testing packagesets

Bootstrapped algebraic data types for Elixir, forked by doma for maintenance and testing packagesets

Fast, lean and reliable authentication server based on verifiable credentials standard