GitHub repository: lloydmeta/frunk
Primary language: Rust
Description: Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.