Refinery is an Elixir library for defining sets of refinement types (refered to as “algebras”) and converting Elixir terms to and from these types
Bootstrapped Refinement Types