Dependent sums and supporting typeclasses for comparing and displaying them
☆56Nov 20, 2023Updated 2 years ago
Alternatives and similar repositories for dependent-sum
Users that are interested in dependent-sum are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dependently-typed finite maps (partial dependent products)☆66Oct 19, 2025Updated 8 months ago
- DOM library that uses jsaddle to support both GHCJS and WebKitGTK☆14Mar 26, 2026Updated 3 months ago
- ☆12Feb 9, 2026Updated 4 months ago
- FoldMap lists☆12Jun 25, 2026Updated last week
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 7 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.
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- Data encoding library for Haskell.☆12Aug 4, 2023Updated 2 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 10 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- Conduit interface for cassava [Haskell]☆16Jan 2, 2024Updated 2 years ago
- Orphan instances for binary☆12May 8, 2026Updated last month
- Cross compile minimal NixOS to aarch64☆21Aug 6, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆12Jun 24, 2026Updated last week
- musl libc experiment☆12Jan 15, 2019Updated 7 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆21Mar 16, 2025Updated last year
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated 5 months ago
- Haskell URI parsing as ByteStrings☆38Apr 10, 2025Updated last year
- Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk☆78Mar 26, 2026Updated 3 months ago
- ☆21May 22, 2026Updated last month
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Monad Transformers and Classes☆76Jun 25, 2019Updated 7 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 9 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 10 months ago
- Snap port of servant-server (WIP)☆28Aug 26, 2022Updated 3 years ago
- ☆25Oct 19, 2020Updated 5 years ago
- Automation of Haskell package release process.☆31Oct 31, 2023Updated 2 years ago
- A basic reflex host for backend work☆13Aug 1, 2020Updated 5 years ago
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆20Jun 19, 2026Updated 2 weeks ago
- ☆36Sep 23, 2024Updated last year
- 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.
- GHCJS interface for the Javascript Websocket API (DEPRECATED: use ghcjs-base's native websockets!)☆21May 13, 2016Updated 10 years ago
- Haskell plotting library☆44Sep 15, 2025Updated 9 months ago
- ☆36Oct 13, 2021Updated 4 years ago
- ☆93Apr 8, 2024Updated 2 years ago
- 🔧 Semantic UI for Haskell and Reflex-DOM☆37Jun 5, 2022Updated 4 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 10 months ago
- Existential type.☆37May 10, 2026Updated last month