ku-fpg / sunroof-compiler
Monadic Javascript Compiler
☆73Updated 8 years ago
Alternatives and similar repositories for sunroof-compiler:
Users that are interested in sunroof-compiler are comparing it to the libraries listed below
- Recursion schemes for Idris☆64Updated 6 years ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated last year
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- Open records for Haskell☆22Updated 7 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆41Updated 7 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- JHC Haskell compiler split into reusable components☆57Updated 6 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- Type-safe time units in Haskell☆49Updated last month
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Various efficient-ish sequence types for PureScript.☆47Updated 11 months ago
- ☆46Updated 8 years ago
- PureScript implementation of lens☆78Updated 4 years ago
- ☆38Updated 4 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆94Updated last year
- Error/Warning reporting frontend for the PureScript compiler☆90Updated 7 months ago
- Demonstrating comonad transformers.☆36Updated 8 years ago
- Common control classes and utility functions☆56Updated last year
- Deep evaluation of data structures☆41Updated 5 months ago
- A more flexible mtl☆64Updated 7 years ago
- A typed, persistent store for values of arbitrary types☆60Updated 2 months ago
- Dependently-typed finite maps (partial dependent products)☆65Updated 2 weeks ago
- A Prelude with names from category theory☆51Updated 8 years ago
- Haskell types lined up to highlight their similarities☆31Updated 5 years ago
- ☆33Updated 9 years ago
- Transactional cache with configurable persistence☆46Updated last year
- Type-level well-kinded natural numbers.☆34Updated 2 months ago