📤 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 8 years ago
- 🐙 discover Dicts☆14Jan 25, 2018Updated 8 years ago
- Folds for recursive types with GHC Generics☆28Apr 13, 2026Updated 3 weeks ago
- A monadic interface for DAG construction.☆24May 11, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 7 years ago
- Implementation of Dhall in Dhall☆12Mar 13, 2026Updated last month
- 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 6 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
- 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.
- 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 5 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
- 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
- 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.
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆32Dec 27, 2021Updated 4 years ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 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 4 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.
- Library of simd functions☆19Jul 24, 2025Updated 9 months ago
- A hand-written streaming byte parser for OpenStreetMap Protobuf data.☆12Dec 8, 2021Updated 4 years ago
- Can we write a querying language with Dhall? Let's find out!☆63Oct 21, 2018Updated 7 years ago
- Constraint-based generics☆51Jan 6, 2026Updated 4 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