Type-safe printf from parsing GHC TypeLits Symbol
☆28Sep 12, 2024Updated last year
Alternatives and similar repositories for typelits-printf
Users that are interested in typelits-printf 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 plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated 5 months ago
- Table-driven (by-example) HSpec tests☆10Jan 29, 2021Updated 5 years ago
- Minimalistic and an easy to use template for a miso project configured to be able to be compiled with both ghc and ghcjs☆12Oct 2, 2019Updated 6 years ago
- Scrap your hand-rolled aeson instances☆114Nov 23, 2024Updated last year
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 3 months ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Surgery for generic data types☆25Jan 25, 2021Updated 5 years ago
- HLint as a GHC source plugin.☆31Jul 8, 2024Updated last year
- sudoku solver in haskell☆41Jul 31, 2021Updated 4 years ago
- ☆13May 3, 2020Updated 5 years ago
- GHC plugin to desugar ! into do-notation☆38Feb 4, 2026Updated last month
- Fast parsing from bytestrings☆174Oct 8, 2025Updated 5 months ago
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 4 years ago
- Parse and render URI templates.☆16Mar 2, 2026Updated 3 weeks ago
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- Servant Errors wai-middleware☆25Oct 14, 2024Updated last year
- Card game using Haskell miso☆11Mar 12, 2026Updated last week
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Jun 3, 2023Updated 2 years ago
- First-class type families☆91Nov 6, 2025Updated 4 months ago
- Overloaded plugin☆31Jun 15, 2024Updated last year
- A re-implementation of weeder using HIE files☆184Dec 23, 2025Updated 3 months ago
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago
- Difference lists in Haskell☆66Dec 15, 2025Updated 3 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Servant authentication with HMAC☆16Dec 2, 2025Updated 3 months ago
- Demonstrating how to make type families faster using typechecker plugins☆21Dec 29, 2020Updated 5 years ago
- Traversals and Prisms for Data.Aeson☆52Aug 27, 2023Updated 2 years ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆56Mar 2, 2026Updated 3 weeks ago
- open union and open product types in Haskell☆31Aug 9, 2020Updated 5 years ago
- A discord frontend for an interactive interpreter bot☆22Aug 8, 2025Updated 7 months ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Apr 21, 2014Updated 11 years ago
- Non-empty Vectors☆26Apr 17, 2025Updated 11 months ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated last year
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Apr 21, 2021Updated 4 years ago
- ghc and cabal completion for zsh shell☆19Mar 2, 2025Updated last year
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Jan 16, 2026Updated 2 months ago