anton-k / hindley-milner-type-check
Haskell library for type-inference with Hindley-Milner type-system.
☆33Updated 7 months ago
Alternatives and similar repositories for hindley-milner-type-check:
Users that are interested in hindley-milner-type-check are comparing it to the libraries listed below
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- LLVM code generation in Haskell☆54Updated 3 months ago
- A non-interactive proof assistant using the Haskell type system☆36Updated 4 years ago
- ☆47Updated 2 months ago
- Hypertypes - generic programming for heterogeneous recursive types☆119Updated 2 weeks ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 4 years ago
- Eventually a practical 2-level TT-based compiler☆27Updated 3 weeks ago
- Minimalistic dependent type theory with syntactic metaprogramming☆56Updated 7 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆52Updated 7 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Algebraic effects in the Bluefin effect system☆14Updated 8 months ago
- Fast equality saturation in Haskell☆79Updated 8 months ago
- A core language and API for dependently typed languages☆89Updated last year
- Experimental effects library for Idris 2☆42Updated 2 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆23Updated last month
- Staged push/pull fusion with typed Template Haskell☆57Updated last year
- Reimplementation of Parsley in Haskell, with improvements☆51Updated 10 months ago
- ICFP tutorial☆39Updated 3 years ago
- Fast parsing from bytestrings☆154Updated 3 weeks ago
- Automatically generate Haskell bindings from C header files☆34Updated this week
- Basics of the dependently-typed functional language Agda ^_^☆38Updated 3 years ago
- todo and unimplemented, robustly implemented☆33Updated 4 months ago
- A prototypical dependently typed languages with sized types and variances☆104Updated 2 years ago
- Normalise GHC.TypeLits.Nat equations☆43Updated 7 months ago
- ☆80Updated 2 weeks ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 3 months ago
- Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.☆89Updated 5 months ago
- Lambda normalization and conversion checking benchmarks for various implementations☆54Updated 3 years ago
- experimenting with unlifted classes via backpack☆36Updated 2 years ago