cronokirby / haskell-in-haskellView external linksLinks
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☆97Nov 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 last month
- 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
- Zippers for cofree types☆13Dec 7, 2021Updated 4 years ago
- A continuation of Stephen Diehl's Write You a Haskell☆162Nov 29, 2020Updated 5 years ago
- The adventures of a Haskell compiler☆237Oct 24, 2025Updated 3 months ago
- DEPRECATED: use https://github.com/MercuryTechnologies/moat☆23Mar 5, 2021Updated 4 years ago
- a self-hosting lambda calculus compiler☆37Mar 31, 2025Updated 10 months ago
- Existential type.☆37Updated this week
- Fake dependent types in Haskell using singletons☆293Jan 11, 2026Updated last month
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,059Jun 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 9 months ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆452Jan 19, 2026Updated 3 weeks ago
- 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 🚧☆561May 5, 2023Updated 2 years ago
- typing haskell in haskell☆18Sep 22, 2022Updated 3 years ago
- Flexible Haskell library for parsing and printing S-Expressions☆21Oct 30, 2024Updated last year
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 4 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- They see me rollin'. They're Heyting. -- Chamillionaire, 2005☆84Jan 20, 2026Updated 3 weeks ago
- Fast binary serialization in Haskell☆110Dec 21, 2024Updated last year
- 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
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 2 months ago
- Dynamic network FRP with events and continuous values☆52Aug 4, 2020Updated 5 years ago
- 🕵️ Haskell STatic ANalyser☆587Jan 16, 2026Updated 3 weeks ago
- Type inference implementation in OCaml using Algorithm W☆10Aug 26, 2021Updated 4 years ago
- Chapelure is a diagnostic library for Haskell☆45Jun 12, 2023Updated 2 years ago