haskell-suite / haskell-tcLinks
Haskell typechecker
☆39Updated 6 years ago
Alternatives and similar repositories for haskell-tc
Users that are interested in haskell-tc are comparing it to the libraries listed below
Sorting:
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 7 years ago
- A command-line tool for live monitoring☆25Updated 3 weeks ago
- A monad, perhaps.☆32Updated 5 years ago
- A tiny EDSL to write type-level-unit tests☆49Updated 6 years ago
- Standard module for type-level programming in Haskell☆30Updated 5 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- A micro-benchmark that compares some Haskell serialization libraries☆44Updated 6 years ago
- Type-safe time units in Haskell☆49Updated 5 months ago
- Units of measure as a GHC typechecker plugin☆30Updated 2 years ago
- A useful type for working with integers modulo some constant.☆30Updated 2 years ago
- This is not the Git repo you're looking for...☆25Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 months ago
- rewrite rules for type-level equalities☆62Updated last year
- Combine and enhance Functors☆39Updated 2 weeks ago
- Miscellaneous constructions on monoids☆23Updated last month
- Constraint-based generics☆49Updated last year
- Dual Traversable☆42Updated 2 years ago
- ☆25Updated 8 years ago
- Folds for recursive types with GHC Generics☆26Updated 5 years ago
- being a thing I build on a Saturday☆28Updated 7 years ago
- Dependently typed Algorithm M and friends☆25Updated 7 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated 4 months ago
- Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)☆56Updated last year
- A library for doing generic programming in Agda☆31Updated 4 years ago
- Type-level well-kinded natural numbers.☆34Updated 5 months ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated last year
- Get all your structure and rip it apart.☆32Updated 6 years ago
- deprecated in favor of -XQualifiedDo☆41Updated 4 years ago