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 π§β133Updated 2 years ago
- Language Server for Agdaβ115Updated last week
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskellβ215Updated 2 years ago
- LLVM code generation in Haskellβ54Updated 11 months ago
- being an operating system for typechecking processesβ130Updated 2 weeks ago
- A core language and API for dependently typed languagesβ97Updated 8 months ago
- πTTβ233Updated 2 months ago
- A prototypical dependently typed languages with sized types and variancesβ111Updated 3 months ago
- Build systemβ128Updated 2 years ago
- Staged compilation with dependent typesβ183Updated 5 months ago
- a functional programming language with algebraic effects and handlersβ82Updated 8 months ago
- Fast parsing from bytestringsβ170Updated 2 weeks ago
- Normalization by Evaluation for Martin-LΓΆf Type Theoryβ129Updated last year
- Hypertypes - generic programming for heterogeneous recursive typesβ125Updated 9 months ago
- A bidirectional type checkerβ65Updated 8 years ago
- Inigo: A Package Manager for Idris2β62Updated 2 years ago
- A Haskell blogβ150Updated 2 weeks ago
- Compiling Agda code to readable Haskellβ194Updated 2 weeks ago
- GHC Whole Program Compiler and External STG IR toolingβ119Updated this week
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.β83Updated 4 years ago
- Strongly-typed System F in Haskellβ119Updated 3 years ago
- GRIN backend for GHCβ144Updated 3 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.β61Updated last year
- an implementation of stuck macrosβ146Updated 3 weeks ago
- Example language server (LSP) implementation for a toy languageβ60Updated 4 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskellβ119Updated 4 years ago
- A pure type system implemented in OCamlβ77Updated 4 years ago
- SPLV20 course notesβ113Updated 2 years ago
- Named parameters (keyword arguments) for Haskellβ97Updated 7 months ago
- Efficient Haskell effect handlers based on evidence translation.β84Updated 4 years ago