š¤ defer instance resolution until runtime
ā18Sep 23, 2019Updated 7 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:
- "Preload" Haskell packages to override themā12Dec 3, 2018Updated 7 years ago
- Manage Nix Haskell override setsā11Sep 30, 2018Updated 8 years ago
- š discover Dictsā14Jan 25, 2018Updated 8 years ago
- Modern compiler implementation in ML, in Haskellā16Apr 4, 2018Updated 8 years ago
- Folds for recursive types with GHC Genericsā29Apr 13, 2026Updated 6 months 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.
- Comment on Haskell documentation.ā13Mar 13, 2019Updated 7 years ago
- Implementation of Dhall in Dhallā12Oct 27, 2026Updated last week
- Suggesting substitutions that don't quite fit.ā10Sep 28, 2018Updated 8 years ago
- š¤³ ignore the differences between `a` and `Identity a`ā25Aug 23, 2019Updated 7 years ago
- Standard module for type-level programming in Haskellā31Jul 1, 2019Updated 7 years ago
- Surgery for generic data typesā26Jan 25, 2021Updated 5 years ago
- A monadic interface for DAG construction.ā25May 11, 2021Updated 5 years ago
- Rust-style strict Maybe in Haskell: no space/indirection overhead.ā18Jan 15, 2024Updated 2 years ago
- Compile time checks that a computation considers producing data through all possible constructorsā11Sep 19, 2019Updated 7 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.
- š³ a monadic FRP game library for haskellā25Apr 7, 2020Updated 6 years ago
- ā23Aug 30, 2017Updated 9 years ago
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"ā17Jan 26, 2018Updated 8 years ago
- View poses coming out of pose estimation networks.ā11Mar 25, 2023Updated 3 years ago
- Drive the Nix build system using the Dhall configuration languageā28Nov 17, 2018Updated 7 years ago
- deprecated in favor of -XQualifiedDoā41May 8, 2021Updated 5 years ago
- A total recursion scheme library for Dhallā67Sep 12, 2026Updated last month
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)ā15Feb 15, 2018Updated 8 years ago
- A syntax for unions of constraints in Haskellā70Jun 30, 2017Updated 9 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.
- Build terminal UIs using reflex and brickā15Jun 27, 2019Updated 7 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.ā26May 7, 2024Updated 2 years ago
- deprecated by `design-tools`ā17Dec 5, 2018Updated 7 years ago
- GHC patched with the -fcompact-holes flagā11Nov 12, 2018Updated 7 years ago
- Data structures for describing changes to other data structures.ā17Sep 28, 2026Updated last month
- A Haskell-only implementation of zlib / DEFLATE.ā33Dec 27, 2021Updated 4 years ago
- Haskell implementation of a nix binary cache and client.ā13Jan 4, 2018Updated 8 years ago
- Typesafe Off-Heap data structures for GHC Haskellā14Nov 10, 2017Updated 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
- 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.
- Tool to determine relevant parts of binary dataā44Dec 5, 2017Updated 8 years ago
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) libraryā11Feb 2, 2018Updated 8 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of sā¦ā22Oct 28, 2019Updated 7 years ago
- Type-level lenses using singletons because why notā15Dec 19, 2018Updated 7 years ago
- A REPL for nix expressions in your browserā14May 5, 2018Updated 8 years ago
- Programmatically create new instances using core-to-core pluginsā11Mar 24, 2021Updated 5 years ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.ā12Dec 8, 2021Updated 4 years ago