Funktional generic type-level programming in Rust: HList, Coproduct, Gen...
Mu (μ) is a purely functional framework for building micro services.
A simple Purescript JSON library that uses types automatically
A macro for defining type operators in Rust.
🎯 IO with Exceptions tracked on the type-level
💄🐞 Combinators for writing pretty type errors easily
Type-level well-kinded natural numbers.