haskell-suite / haskell-tc
Haskell typechecker
☆39Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for haskell-tc
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 7 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- A monad, perhaps.☆33Updated 4 years ago
- Church-encoding of the Freer monad☆29Updated 8 years ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- Haskell 98 contravariant functors☆73Updated last month
- An experimental intermediate language for GHC☆37Updated 7 years ago
- mtl friendly exceptions☆49Updated 3 weeks ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Constraint-based generics☆47Updated 7 months ago
- A useful type for working with integers modulo some constant.☆30Updated last year
- ☆55Updated 5 years ago
- This is not the Git repo you're looking for...☆26Updated 5 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Miscellaneous constructions on monoids☆18Updated 3 months ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Type-safe time units in Haskell☆49Updated 10 months ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- A tiny EDSL to write type-level-unit tests☆49Updated 5 years ago
- ☆39Updated 7 years ago
- Scrap Your Boilerplate generic programming library in Haskell☆44Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- High-performance JSON parser☆24Updated 6 months ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 9 years ago
- the EitherT monad transformer☆55Updated 6 months ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆26Updated 3 years ago
- A micro-benchmark that compares some Haskell serialization libraries☆44Updated 5 years ago
- Type-safe error handling☆64Updated last year