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:
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Open records for Haskell☆22Updated 8 years ago
- Dependently-typed finite maps (partial dependent products)☆66Updated last week
- rewrite rules for type-level equalities☆62Updated last month
- Verified left pad☆19Updated 7 years ago
- join and meet semilattices, lower and upper bounds.☆48Updated last month
- A useful type for working with integers modulo some constant.☆30Updated 2 years ago
- Dual Traversable☆41Updated 2 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Deep embedding of imperative programs with code generation☆23Updated 3 years ago
- ☆45Updated 3 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Dependently typed convolutional neural networks☆35Updated 8 years ago
- ☆39Updated 8 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Updated 7 years ago
- Type-level sets for Haskell (with value-level counterparts and various operations)☆66Updated this week
- Some useful control operators for looping☆47Updated 5 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Updated 7 years ago
- Folds for recursive types with GHC Generics☆28Updated 2 months ago
- An experiment in functional interface design☆24Updated 8 years ago
- Map and Set over contiguous memory☆22Updated 2 years ago
- Hedgehog will eat your typeclass bugs☆55Updated 4 months ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆125Updated last year
- Tools for functors from Hask^k to Hask☆23Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Fast unboxed references for ST and IO monad☆15Updated 8 years ago
- ☆24Updated 5 years ago
- An experimental intermediate language for GHC☆36Updated 8 years ago