nammayatri / nammayatri
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
See what the GitHub community is most excited about today.
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
Types and kinds for basic type-level programming
Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
Linked Lists
Catenable lists
Profunctor type classes and data structures
The PureScript Prelude
Common control classes and utility functions
Date and time library for PureScript.