Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
☆144May 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:
- Haskell Configuration Loader☆19Feb 3, 2026Updated last month
- An automatic declarative ASCIInema recorder☆46Dec 3, 2025Updated 3 months ago
- 📚 A softer alternative to Haddock☆106Jan 27, 2020Updated 6 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Aug 22, 2018Updated 7 years ago
- ☆53Dec 17, 2020Updated 5 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated 5 months ago
- reverse dependency build matrix generator☆33Sep 19, 2020Updated 5 years ago
- Leave delicious breadcrumbs to make your errors easier to understand.☆37Mar 17, 2018Updated 8 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Jun 2, 2025Updated 9 months ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Write "Concurrency" section of "A Tour of Go" in Haskell☆130Oct 15, 2018Updated 7 years ago
- Verified left pad☆19Apr 14, 2018Updated 7 years ago
- Derivation of Optimized Definitions Based on Specs☆14Sep 28, 2019Updated 6 years ago
- Play 2048 from the command line /terminal !☆46Dec 5, 2017Updated 8 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆74Jan 5, 2026Updated 2 months ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 6 years ago
- 👁️ Isometric 3D Graphing / Rendering module for Haskell☆15Sep 2, 2017Updated 8 years ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- The video editor built for screencasters☆431Apr 20, 2021Updated 4 years ago
- Floskell is a flexible Haskell source code pretty printer.☆185Jul 13, 2024Updated last year
- Higher-kinded data via generics☆170Aug 20, 2024Updated last year
- A flexible Haskell API for querying the GitHub REST API☆15Jan 7, 2026Updated 2 months ago
- Generate realistic looking fake data☆47May 7, 2021Updated 4 years ago
- ☆26May 3, 2022Updated 3 years ago
- Haskell library containing common graph search algorithms☆56Jun 28, 2025Updated 8 months ago
- 🔌 Scrap your qualified import clutter☆38Jul 26, 2021Updated 4 years ago
- Comma (and other) separated values☆78Nov 4, 2023Updated 2 years ago
- The backend for the chess database☆20Jan 18, 2022Updated 4 years ago
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- Non-empty Vectors☆26Apr 17, 2025Updated 11 months ago
- Kowainik Git Workflow Helper Tool☆76Jan 13, 2023Updated 3 years ago
- 🔮 🔧 Tool for scaffolding batteries-included production-level Haskell projects☆714Mar 5, 2026Updated 2 weeks ago
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- Haskell bindings to the Bittrex cryptocurrency exchange☆23Dec 14, 2024Updated last year
- Terminal emulator configurable in Haskell.☆420Mar 5, 2026Updated 2 weeks ago
- Web application for exploring and understanding Haskell codebases☆516Jan 18, 2023Updated 3 years ago
- Comonads By Example Conference talk☆91Aug 6, 2019Updated 6 years ago
- Inspection Testing for Haskell☆190Jan 17, 2026Updated 2 months ago