Bootstrapped algebraic data types for Elixir

Beaver, a MLIR Toolkit in Elixir

Error & exception handling helpers for Elixir

Work with type classes with algebraic or category-theoretic.

(Semi-)principled type classes for Elixir

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