Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
☆143May 12, 2020Updated 5 years ago
Alternatives and similar repositories for void-space
Users that are interested in void-space are comparing it to the libraries listed below
Sorting:
- 📚 A softer alternative to Haddock☆106Jan 27, 2020Updated 6 years ago
- An automatic declarative ASCIInema recorder☆46Dec 3, 2025Updated 2 months ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Aug 22, 2018Updated 7 years ago
- Haskell Configuration Loader☆19Feb 3, 2026Updated 3 weeks ago
- Derivation of Optimized Definitions Based on Specs☆14Sep 28, 2019Updated 6 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated 4 months ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- ☆53Dec 17, 2020Updated 5 years ago
- Generate realistic looking fake data☆47May 7, 2021Updated 4 years ago
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- ☆26May 3, 2022Updated 3 years ago
- Play 2048 from the command line /terminal !☆45Dec 5, 2017Updated 8 years ago
- Write "Concurrency" section of "A Tour of Go" in Haskell☆130Oct 15, 2018Updated 7 years ago
- Higher-kinded data via generics☆170Aug 20, 2024Updated last year
- 🐚 Out of the shell solution for scripting in Haskell☆74Jan 5, 2026Updated last month
- reverse dependency build matrix generator☆33Sep 19, 2020Updated 5 years ago
- Haskell bindings to the Bittrex cryptocurrency exchange☆23Dec 14, 2024Updated last year
- Web application for exploring and understanding Haskell codebases☆516Jan 18, 2023Updated 3 years ago
- 🔌 Scrap your qualified import clutter☆38Jul 26, 2021Updated 4 years ago
- Formlets for halogen☆30Dec 26, 2018Updated 7 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Jun 2, 2025Updated 8 months ago
- Search Haskell source code from the command line☆75Aug 20, 2020Updated 5 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 4 years ago
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago
- Floskell is a flexible Haskell source code pretty printer.☆185Jul 13, 2024Updated last year
- Inspection Testing for Haskell☆190Jan 17, 2026Updated last month
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆712Jan 19, 2026Updated last month
- Leave delicious breadcrumbs to make your errors easier to understand.☆37Mar 17, 2018Updated 7 years ago
- Comma (and other) separated values☆78Nov 4, 2023Updated 2 years ago
- The video editor built for screencasters☆431Apr 20, 2021Updated 4 years ago
- Comonads By Example Conference talk☆90Aug 6, 2019Updated 6 years ago
- A simple combinator library☆30Nov 5, 2018Updated 7 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Feb 11, 2026Updated 2 weeks ago
- Yet another Haskell build system.☆115Jul 3, 2020Updated 5 years ago
- Operations on files and directories with typed paths☆32Feb 2, 2026Updated 3 weeks ago
- Haskell library containing common graph search algorithms☆54Jun 28, 2025Updated 8 months ago