constraint level if statements
☆117Nov 29, 2017Updated 8 years ago
Alternatives and similar repositories for ifcxt
Users that are interested in ifcxt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆107Jul 18, 2018Updated 7 years ago
- A very general logging effect for Haskell☆60Jan 28, 2026Updated last month
- A HUnit/hspec assertion to verify that an expression does not typecheck☆43Jun 14, 2019Updated 6 years ago
- Streaming csv parser using cassava and pipes☆21Nov 26, 2015Updated 10 years ago
- Double-ended queues☆14Feb 3, 2025Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Fast binary serialization in Haskell☆110Dec 21, 2024Updated last year
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- Tools for programming with ConstraintKinds in GHC☆74Jan 26, 2026Updated 2 months ago
- A benchmark comparing different ways of building a strict bytestring in Haskell☆25Feb 14, 2023Updated 3 years ago
- Functions and newtype wrappers for traversing Trees☆30Sep 13, 2024Updated last year
- Performance shootout of various trie implementations☆18May 30, 2019Updated 6 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- Generically derive traversals, lenses, and prisms.☆441Aug 27, 2025Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Compact regions library for Haskell☆82Jul 2, 2024Updated last year
- Declare and access tuple fields with labels☆59Jan 2, 2019Updated 7 years ago
- Haskell bindings to liblzma☆18Dec 27, 2024Updated last year
- 🤳 ignore the differences between `a` and `Identity a`☆25Aug 23, 2019Updated 6 years ago
- Measuring CPU instructions in Haskell using Linux Performance Counters☆83Jun 9, 2018Updated 7 years ago
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 5 years ago
- ☆116Aug 14, 2015Updated 10 years ago
- Serializable closures for distributed programming.☆66Nov 27, 2023Updated 2 years ago
- IO without any PseudoExceptions☆28May 13, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Typed filepath☆127Jan 16, 2025Updated last year
- List monad transformer☆60May 19, 2024Updated last year
- QuadTree library for Haskell, using lenses.☆15May 7, 2018Updated 7 years ago
- Demonstration for how to build "traverse" using GHC.Generics efficiently☆22Oct 11, 2018Updated 7 years ago
- An implementation of "Freer Monads, More Extensible Effects".☆64Jul 8, 2018Updated 7 years ago
- Comma (and other) separated values☆78Nov 4, 2023Updated 2 years ago
- ☆32Jul 16, 2016Updated 9 years ago
- A Haskell code formatter using prettyprinter and the GHC API☆24Oct 7, 2018Updated 7 years ago
- Standard containers, with keys that carry type-level proofs of their own presence.☆82Feb 20, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Haskell library containing common graph search algorithms☆56Jun 28, 2025Updated 8 months ago
- An reimplementation of the Statistics.Sample Haskell module using the foldl package☆22May 6, 2024Updated last year
- optics for Haskell with the most amazing type errors you've seen☆243Jan 18, 2020Updated 6 years ago
- Inspection Testing for Haskell☆190Jan 17, 2026Updated 2 months ago
- A syntax for unions of constraints in Haskell☆70Jun 30, 2017Updated 8 years ago
- Simple typesafe routing☆46Aug 31, 2022Updated 3 years ago
- ☆21Jan 1, 2023Updated 3 years ago