Error & exception handling helpers for Elixir

Bootstrapped algebraic data types for Elixir

(Semi-)principled type classes for Elixir

Monads and other dark magic (monoids, functors, traversables, &c)

Beaver, a MLIR Toolkit in Elixir

Work with type classes with algebraic or category-theoretic.