purescript / purescript-typelevel-prelude
Types and kinds for basic type-level programming

See what the GitHub community is most excited about today.
Types and kinds for basic type-level programming
Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
Monad and comonad transformers
Linked Lists
Common control classes and utility functions