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☆12Oct 4, 2023Updated 2 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 10 months ago
- ✂️ Hakyll shortcut-links in markdown files☆11Oct 10, 2025Updated 8 months 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☆114Jun 18, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Efficient parser combinators for Haskell☆39Nov 25, 2025Updated 7 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 6 years ago
- GHC plugin to desugar ! into do-notation☆38Feb 4, 2026Updated 4 months ago
- Fast parsing from bytestrings☆178Oct 8, 2025Updated 8 months ago
- Property based testing for Servant using Hedgehog☆19Apr 25, 2021Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Parse and render URI templates.☆17Jun 22, 2026Updated last week
- tools for writing better type errors☆74Sep 15, 2023Updated 2 years ago
- Servant Errors wai-middleware☆25Oct 14, 2024Updated last year
- Card game using Haskell miso☆13May 6, 2026Updated last month
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.☆77Jun 3, 2023Updated 3 years ago
- First-class type families☆92Nov 6, 2025Updated 7 months ago
- Overloaded plugin☆31Jun 15, 2024Updated 2 years ago
- A re-implementation of weeder using HIE files☆188Jun 23, 2026Updated last week
- GHCJS + Miso port of the Vue.js examples.☆19Nov 25, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Difference lists in Haskell☆66Dec 15, 2025Updated 6 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 7 months ago
- Demonstrating how to make type families faster using typechecker plugins☆20Dec 29, 2020Updated 5 years ago
- Traversals and Prisms for Data.Aeson☆52May 26, 2026Updated last month
- Go get tested! Github Actions matrix generator for your haskell projects' CI☆58Jun 24, 2026Updated last week
- open union and open product types in Haskell☆31Aug 9, 2020Updated 5 years ago
- A discord frontend for an interactive interpreter bot☆23Aug 8, 2025Updated 10 months ago
- Non-empty Vectors☆26Apr 18, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Apr 21, 2014Updated 12 years ago
- A simple example of integrating TypeScript and Haskell.☆13Aug 25, 2021Updated 4 years ago
- 🛗 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
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Jan 16, 2026Updated 5 months ago
- An implementation of first-class pattern matches in Haskell.☆13Feb 25, 2026Updated 4 months ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago