📤 defer instance resolution until runtime
☆18Sep 23, 2019Updated 6 years ago
Alternatives and similar repositories for constraints-emerge
Users that are interested in constraints-emerge are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 7 years ago
- 🐙 discover Dicts☆14Jan 25, 2018Updated 8 years ago
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 7 months ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 7 years ago
- Implementation of Dhall in Dhall☆12Mar 13, 2026Updated 2 weeks ago
- Surgery for generic data types☆25Jan 25, 2021Updated 5 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- 🤳 ignore the differences between `a` and `Identity a`☆25Aug 23, 2019Updated 6 years ago
- 🌳 a monadic FRP game library for haskell☆25Apr 7, 2020Updated 5 years ago
- Rust-style strict Maybe in Haskell: no space/indirection overhead.☆18Jan 15, 2024Updated 2 years ago
- Drive the Nix build system using the Dhall configuration language☆27Nov 17, 2018Updated 7 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Build terminal UIs using reflex and brick☆15Jun 27, 2019Updated 6 years ago
- A syntax for unions of constraints in Haskell☆70Jun 30, 2017Updated 8 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 8 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated last year
- deprecated by `design-tools`☆17Dec 5, 2018Updated 7 years ago
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Feb 2, 2018Updated 8 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆32Dec 27, 2021Updated 4 years ago
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆69Jan 21, 2014Updated 12 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Portable interprocess communication (IPC) in Haskell☆14Jun 9, 2024Updated last year
- Tool to determine relevant parts of binary data☆44Dec 5, 2017Updated 8 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Haskell implementation of an LRU cache☆25Dec 29, 2025Updated 3 months ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Library of simd functions☆19Jul 24, 2025Updated 8 months ago
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 2018Updated 7 years ago
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- Write your Reveal.js presentations in Haskell!☆11Sep 12, 2016Updated 9 years ago
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago
- Starfield renderer☆11Jun 26, 2019Updated 6 years ago