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
Sorting:
- type level sets☆67Nov 19, 2019Updated 6 years ago
- A thread-safe hash table in Haskell☆15Feb 28, 2020Updated 6 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Write yourself a typed functional language☆65Oct 11, 2018Updated 7 years ago
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- Haskell command line text stream processor☆87Jul 11, 2019Updated 6 years ago
- Example-based Haskell Documentation Engine☆59Jun 16, 2019Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆124Nov 1, 2019Updated 6 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 6 years ago
- A nullary type class for partial functions☆15Nov 28, 2017Updated 8 years ago
- Trying to write an understandable implementation of Haskell, in Haskell☆125Feb 7, 2021Updated 5 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 6 years ago
- The Software Foundations book, in GHC☆82Jan 11, 2026Updated last month
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 2 months ago
- Haskeline wrapper for GHCi-like REPL interfaces☆108May 17, 2025Updated 9 months ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- Use GHC's Memory Allocator from C☆12Feb 22, 2020Updated 6 years ago
- A self-hosting mini Haskell compiler with a mini C runtime.☆78Dec 22, 2019Updated 6 years ago
- A GHC plugin and library for analysing GHC Core☆54Feb 4, 2025Updated last year
- A compiler for a simple language using llvm☆37Jun 14, 2023Updated 2 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Text lenses using PCRE regexes☆128Dec 11, 2024Updated last year
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- Library for generating Haskell source files and code fragments.☆102Feb 9, 2026Updated 3 weeks ago
- A monad, perhaps.☆32Feb 10, 2020Updated 6 years ago
- A small and expressive dependently typed language☆130Jun 29, 2020Updated 5 years ago
- higher-order, no-boilerplate monads☆1,076Mar 15, 2025Updated 11 months ago
- Dependently Typed Lambda Calculus in Haskell☆116Mar 8, 2021Updated 4 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆558May 5, 2023Updated 2 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆100Apr 28, 2024Updated last year
- Install ghcide, neovim, and CoC in a minimal Debian 10 Docker container.☆11May 4, 2020Updated 5 years ago
- Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.☆188Apr 28, 2019Updated 6 years ago