vrom911 / Rum
Compiler for the Rum language
☆25Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for Rum
- ☆39Updated 4 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Unpacked containers using backpack☆52Updated 4 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- UI experiments for coda☆65Updated 3 years ago
- Haskell 98 contravariant functors☆73Updated last month
- Type-safe time units in Haskell☆49Updated 10 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆54Updated last year
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Haskell time library focusing on performance☆54Updated 2 months ago
- Compact regions library for Haskell☆82Updated 4 months ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 5 years ago
- haskell memory☆48Updated last year
- rewrite rules for type-level equalities☆62Updated 7 months ago
- ☆33Updated 6 months ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 2 years ago
- tools for writing better type errors☆73Updated last year
- ☆45Updated 2 years ago
- compile your own functional language☆36Updated 5 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- Monad morphisms☆47Updated 2 years ago
- Type-safe error handling☆64Updated last year
- Literature review of GHC's Core language, System FC☆66Updated 6 years ago
- ☆18Updated 3 years ago
- Generic Programming using True Sums of Products☆157Updated 6 months ago