Trying to write an understandable implementation of Haskell, in Haskell
☆125Feb 7, 2021Updated 5 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:
- Strongly-typed System F in Haskell☆120Oct 18, 2022Updated 3 years ago
- The Helium compiler, Helium-as-a-library, and the texthint interpreter☆98Nov 25, 2024Updated last year
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Dec 15, 2025Updated 2 months ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Feb 5, 2020Updated 6 years ago
- Prototype implementations of systems based on setoid type theory☆66Nov 29, 2020Updated 5 years ago
- ICFP tutorial☆39Jul 31, 2021Updated 4 years ago
- Interpreter for GHC Haskell☆22Nov 9, 2019Updated 6 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆164Nov 29, 2020Updated 5 years ago
- The adventures of a Haskell compiler☆236Oct 24, 2025Updated 4 months ago
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- DEPRECATED: use https://github.com/MercuryTechnologies/moat☆23Mar 5, 2021Updated 5 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 11 months ago
- Existential type.☆37Feb 11, 2026Updated 3 weeks ago
- Fake dependent types in Haskell using singletons☆293Feb 15, 2026Updated 3 weeks ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,057Jun 13, 2025Updated 8 months ago
- A bittorrent client, for learning purposes☆108Sep 7, 2019Updated 6 years ago
- Write your GDB scripts in Haskell!☆27Dec 13, 2021Updated 4 years ago
- A modern Haskell debugger☆31May 1, 2025Updated 10 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆456Jan 19, 2026Updated last month
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆31May 27, 2023Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆558May 5, 2023Updated 2 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- Flexible Haskell library for parsing and printing S-Expressions☆21Oct 30, 2024Updated last year
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 4 years ago
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Jan 20, 2026Updated last month
- Fast binary serialization in Haskell☆110Dec 21, 2024Updated last year
- pretty-printer for Haskell data types that have a Show instance☆256Oct 12, 2025Updated 4 months ago
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated last month
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- A home-made stack based language heavily inspired from PostScript☆11Jan 24, 2020Updated 6 years ago
- Normalization by Evaluation for Embedded Domain-specific Languages☆31Oct 31, 2024Updated last year
- Find your open-soulmate <💜>☆77Oct 18, 2021Updated 4 years ago
- Dynamic network FRP with events and continuous values☆52Aug 4, 2020Updated 5 years ago
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 3 months ago
- 🕵️ Haskell STatic ANalyser☆588Jan 16, 2026Updated last month
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 11 months ago