isovector / constraints-emergeView external linksLinks
📤 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
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
- Folds for recursive types with GHC Generics☆28Aug 9, 2025Updated 6 months ago
- 🐙 discover Dicts☆14Jan 25, 2018Updated 8 years ago
- Implementation of Dhall in Dhall☆12Updated this week
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 6 years ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Surgery for generic data types☆25Jan 25, 2021Updated 5 years ago
- Drive the Nix build system using the Dhall configuration language☆26Nov 17, 2018Updated 7 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
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated last year
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Write your Reveal.js presentations in Haskell!☆11Sep 12, 2016Updated 9 years ago
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Feb 2, 2018Updated 8 years ago
- A syntax for unions of constraints in Haskell☆70Jun 30, 2017Updated 8 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Starfield renderer☆11Jun 26, 2019Updated 6 years ago
- Standard module for type-level programming in Haskell☆31Jul 1, 2019Updated 6 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆32Dec 27, 2021Updated 4 years ago
- i bet you there is a typesystem behind music☆32Oct 24, 2018Updated 7 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Library of simd functions☆19Jul 24, 2025Updated 6 months ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Programmatically create new instances using core-to-core plugins☆11Mar 24, 2021Updated 4 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 3 years ago
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 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
- Polymorphic music library with export to musicxml and midi☆16Jan 20, 2024Updated 2 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Portable interprocess communication (IPC) in Haskell☆13Jun 9, 2024Updated last year
- Build terminal UIs using reflex and brick☆15Jun 27, 2019Updated 6 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
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- My personal web site☆17Feb 5, 2026Updated last week
- My favorite quotes☆17Oct 12, 2025Updated 4 months ago
- Library to integrate eta wai applications with servlet api☆18Jan 9, 2019Updated 7 years ago