ku-fpg / sunroof-compiler
Monadic Javascript Compiler
☆73Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for sunroof-compiler
- Recursion schemes for Idris☆64Updated 6 years ago
- ☆34Updated 8 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Some useful control operators for looping☆47Updated 4 years ago
- Playing with https://github.com/ekmett/machines☆51Updated 7 years ago
- A book about large-scale design in Haskell☆75Updated 10 years ago
- Transactional cache with configurable persistence☆48Updated last year
- An extension to Data.Serialize with built-in version control☆60Updated 6 months ago
- Type-safe time units in Haskell☆49Updated 10 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Example of embedding Servant within a Yesod Application☆15Updated 8 years ago
- Can we write a querying language with Dhall? Let's find out!☆64Updated 6 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Declare and access tuple fields with labels☆60Updated 5 years ago
- A more flexible mtl☆64Updated 6 years ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- Extends binary with parsec/attoparsec style parsing combinators☆26Updated 2 years ago
- Efficient conversion of values into Text☆39Updated last month
- A little utility to derive lenses and prisms for data types in PureScript☆41Updated 7 years ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago
- Generic HTTP types for Haskell (for both client and server code)☆54Updated 11 months ago
- Haskell: Supercharged anonymous records☆83Updated 2 years ago
- Haskell library for simple, concise and fast generic operations.☆76Updated last year
- a simple functional language for learners☆30Updated 7 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated 11 months ago
- Serializable closures for distributed programming.☆65Updated 11 months ago
- Haskell library for efficiently building up buffers☆26Updated 3 months ago
- An implementation of "Freer Monads, More Extensible Effects".☆65Updated 6 years ago
- Clojure-style transients for Haskell☆32Updated 2 years ago