cronokirby / haskell-in-haskellLinks
Trying to write an understandable implementation of Haskell, in Haskell
β125Updated 4 years ago
Alternatives and similar repositories for haskell-in-haskell
Users that are interested in haskell-in-haskell are comparing it to the libraries listed below
Sorting:
- π§ a work in progress effect system for Haskell π§β131Updated 2 years ago
- Language Server for Agdaβ113Updated 3 weeks ago
- being an operating system for typechecking processesβ128Updated 2 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskellβ214Updated 2 years ago
- A core language and API for dependently typed languagesβ97Updated 6 months ago
- LLVM code generation in Haskellβ54Updated 9 months ago
- Strongly-typed System F in Haskellβ118Updated 2 years ago
- Fast parsing from bytestringsβ166Updated 2 months ago
- a functional programming language with algebraic effects and handlersβ82Updated 6 months ago
- Build systemβ124Updated last year
- Normalization by Evaluation for Martin-LΓΆf Type Theoryβ128Updated last year
- Benchmarks for capture-avoiding substitutionβ119Updated 2 months ago
- GRIN backend for GHCβ144Updated 3 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.β83Updated 3 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskellβ118Updated 4 years ago
- Total Parser Combinators in Agdaβ132Updated 2 weeks ago
- Horn Clause Constraint Solving for Liquid Typesβ151Updated last week
- Example language server (LSP) implementation for a toy languageβ60Updated 4 years ago
- Example implementation of Algorithm W for Hindley-Milner type inferenceβ81Updated 3 years ago
- Hypertypes - generic programming for heterogeneous recursive typesβ125Updated 7 months ago
- Inigo: A Package Manager for Idris2β62Updated 2 years ago
- Lambda normalization and conversion checking benchmarks for various implementationsβ59Updated 4 years ago
- GHC Whole Program Compiler and External STG IR toolingβ118Updated 9 months ago
- Duo - A research language exploring duality in programming language designβ57Updated 2 years ago
- A prototypical dependently typed languages with sized types and variancesβ111Updated last month
- an implementation of stuck macrosβ145Updated 2 weeks ago
- Haskell library for type-inference with Hindley-Milner type-system.β34Updated last year
- A Haskell blogβ148Updated last month
- Implementation for ICFP 2020 paperβ54Updated 4 years ago
- πTTβ231Updated last week