A continuation of Stephen Diehl's Write You a Haskell
☆164Nov 29, 2020Updated 5 years ago
Alternatives and similar repositories for Write-You-a-Haskell-2
Users that are interested in Write-You-a-Haskell-2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- A thread-safe hash table in Haskell☆15Feb 28, 2020Updated 6 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Feb 7, 2021Updated 5 years ago
- Write yourself a typed functional language☆65Oct 11, 2018Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 6 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Haskell command line text stream processor☆87Jul 11, 2019Updated 6 years ago
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- Benchmarking Haskell extensible-effect libraries.☆34Aug 2, 2020Updated 5 years ago
- Haskeline wrapper for GHCi-like REPL interfaces☆108May 17, 2025Updated 10 months ago
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated 2 months ago
- Chapelure is a diagnostic library for Haskell☆45Jun 12, 2023Updated 2 years ago
- This was the moment that Mark totally lost his shit and started rewriting jenkins in shell and ended up with a haskell build bot.☆19Mar 17, 2019Updated 7 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 7 months ago
- Example-based Haskell Documentation Engine☆59Jun 16, 2019Updated 6 years ago
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 2 months ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆37Oct 25, 2024Updated last year
- Strongly-typed System F in Haskell☆120Oct 18, 2022Updated 3 years ago
- A GHC plugin and library for analysing GHC Core☆54Feb 4, 2025Updated last year
- higher-order, no-boilerplate monads☆1,076Mar 15, 2025Updated last year
- Text lenses using PCRE regexes☆128Dec 11, 2024Updated last year
- A compiler for a simple language using llvm☆37Jun 14, 2023Updated 2 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆78Dec 22, 2019Updated 6 years ago
- Examples using dependent types for mathematical proofs at the type level☆14Feb 27, 2020Updated 6 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Haskell bindings for the Souffle datalog language☆104May 16, 2024Updated last year
- 🚧 a work in progress effect system for Haskell 🚧☆558May 5, 2023Updated 2 years ago
- A monad, perhaps.☆32Feb 10, 2020Updated 6 years ago
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- Library for generating Haskell source files and code fragments.☆102Feb 9, 2026Updated last month
- A Pascal to LLVM compiler in Haskell☆124Nov 1, 2019Updated 6 years ago
- High performance, concurrent functional programming abstractions☆909Mar 14, 2026Updated last week
- Typeclass for array types☆19Apr 7, 2025Updated 11 months ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago