Type-safe printf from parsing GHC TypeLits Symbol
☆28Sep 12, 2024Updated 2 years ago
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☆12Oct 4, 2023Updated 3 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated last year
- 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 7 years ago
- Scrap your hand-rolled aeson instances☆114Jun 18, 2026Updated 3 months ago
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 2 years ago
- sudoku solver in haskell☆41Jul 31, 2021Updated 5 years ago
- Difference lists in Haskell☆66Dec 15, 2025Updated 9 months ago
- GHC plugin to desugar ! into do-notation☆39Feb 4, 2026Updated 8 months ago
- ☆13May 3, 2020Updated 6 years ago
- Fast parsing from bytestrings☆179Sep 23, 2026Updated 2 weeks ago
- Servant Errors wai-middleware☆25Oct 14, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- tools for writing better type errors☆74Sep 15, 2023Updated 3 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆78Jun 3, 2023Updated 3 years ago
- Parse and render URI templates.☆17Oct 2, 2026Updated last week
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 5 years ago
- Card game using Haskell miso☆13May 6, 2026Updated 5 months ago
- First-class type families☆94Nov 6, 2025Updated 11 months ago
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago
- A re-implementation of weeder using HIE files☆192Sep 15, 2026Updated 3 weeks ago
- Overloaded plugin☆31Jun 15, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Servant authentication with HMAC☆16Dec 2, 2025Updated 10 months ago
- Demonstrating how to make type families faster using typechecker plugins☆20Dec 29, 2020Updated 5 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Traversals and Prisms for Data.Aeson☆52May 26, 2026Updated 4 months ago
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆58Sep 30, 2026Updated last week
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Apr 21, 2014Updated 12 years ago
- Non-empty Vectors☆26Apr 18, 2026Updated 5 months ago
- open union and open product types in Haskell☆31Aug 9, 2020Updated 6 years ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A discord frontend for an interactive interpreter bot☆24Aug 8, 2025Updated last year
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Apr 21, 2021Updated 5 years ago
- ghc and cabal completion for zsh shell☆19Mar 2, 2025Updated last year
- Open telemetry auto instrumentation using GHC plugin☆15Sep 27, 2026Updated last week
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated 7 months ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆19Jan 16, 2026Updated 8 months ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 3 years ago