haskell-suite / haskell-tc
Haskell typechecker
☆39Updated 5 years ago
Alternatives and similar repositories for haskell-tc:
Users that are interested in haskell-tc are comparing it to the libraries listed below
- A command-line tool for live monitoring☆25Updated 2 years ago
- A monad, perhaps.☆32Updated 5 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- semirings and *-semirings of types in base/haskell-platform☆41Updated 10 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- rewrite rules for type-level equalities☆62Updated 11 months ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 6 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- Diploma work (if this is still here contact me if you need details)☆13Updated 7 years ago
- Dependently-typed finite maps (partial dependent products)☆65Updated last month
- Type-safe time units in Haskell☆49Updated 2 months ago
- Deep embedding of imperative programs with code generation☆23Updated 2 years ago
- A syntax for unions of constraints in Haskell☆70Updated 7 years ago
- Standard module for type-level programming in Haskell☆31Updated 5 years ago
- Fast unboxed references for ST and IO monad☆15Updated 7 years ago
- A package exposing a function for generating catamorphisms.☆28Updated 6 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Updated last year
- Combine and enhance Functors☆39Updated last year
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- Simple reflection of expressions☆33Updated 3 years ago
- A suite of Haskell libraries for representing, manipulating, and sampling random variables☆42Updated last year
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- Haskell 98 contravariant functors☆73Updated 5 months ago
- System F implemented in Haskell☆24Updated 13 years ago