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

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