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:
- Quasiquoter for LLVMβ31Updated 7 years ago
- πΌοΈ the compiling to closed categories compilerβ66Updated 7 years ago
- Type Safe LLVM IR ( Experimental )β49Updated 7 years ago
- An alternate definition of Haskell's Functor typeclassβ42Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects libraryβ41Updated 9 years ago
- Open records for Haskellβ22Updated 7 years ago
- An experiment in functional interface designβ24Updated 8 years ago
- Simple reflection of expressionsβ34Updated 4 years ago
- Code to go along with the blog post "Are Mutable References in HaskellΒ Fast?"β10Updated 8 years ago
- rewrite rules for type-level equalitiesβ62Updated last month
- Small implementation of OutsideIn(X) type checking algorithmβ31Updated 10 years ago
- Dependently typed convolutional neural networksβ35Updated 8 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.β72Updated 5 years ago
- Reification of data structures using observable sharingβ29Updated 11 months ago
- Dependently-typed finite maps (partial dependent products)β66Updated 7 months ago
- Folds for recursive types with GHC Genericsβ28Updated last month
- Formally prove properties of Haskell programs using SBV/SMT.β45Updated 6 months ago
- An experimental intermediate language for GHCβ36Updated 8 years ago
- Constraint-based genericsβ49Updated last year
- An implementation of the Haskell ByteString library using the Fiat system from MITβ34Updated 3 years ago
- Safe web routing in haskellβ30Updated 2 years ago
- Standard module for type-level programming in Haskellβ30Updated 6 years ago
- Tools for functors from Hask^k to Haskβ23Updated 6 years ago
- ghc --make reimplemented with Shakeβ32Updated 2 years ago
- A package exposing a function for generating catamorphisms.β28Updated 7 years ago
- A command-line tool for live monitoringβ25Updated 3 months ago
- Exhaustive pattern matching using lenses, traversals, and prismsβ33Updated 3 years ago
- Combine and enhance Functorsβ39Updated last month
- β39Updated 7 years ago
- Alternative Core language for GHC pluginsβ39Updated 9 years ago