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)☆65Oct 19, 2025Updated 5 months ago
- DOM library that uses jsaddle to support both GHCJS and WebKitGTK☆14May 22, 2024Updated last year
- ☆12Feb 9, 2026Updated last month
- FoldMap lists☆12Mar 29, 2023Updated 2 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 7 years ago
- 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 9 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☆12Jan 5, 2025Updated last year
- Cross compile minimal NixOS to aarch64☆21Aug 6, 2018Updated 7 years ago
- ☆12Dec 13, 2025Updated 3 months ago
- 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 2 months ago
- Haskell URI parsing as ByteStrings☆38Apr 10, 2025Updated 11 months ago
- Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk☆78Oct 30, 2024Updated last year
- ☆21Oct 2, 2022Updated 3 years ago
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 4 years ago
- Monad Transformers and Classes☆76Jun 25, 2019Updated 6 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 9 years 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
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆20Oct 19, 2025Updated 5 months ago
- ☆35Sep 23, 2024Updated last year
- GHCJS interface for the Javascript Websocket API (DEPRECATED: use ghcjs-base's native websockets!)☆21May 13, 2016Updated 9 years ago
- ☆36Oct 13, 2021Updated 4 years ago
- Haskell plotting library☆44Sep 15, 2025Updated 6 months ago
- ☆93Apr 8, 2024Updated last year
- 🔧 Semantic UI for Haskell and Reflex-DOM☆38Jun 5, 2022Updated 3 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 7 months ago
- Existential type.☆37Feb 11, 2026Updated last month
- Haskell implementation of the server-side verifier for Web Authentication API☆15Jan 5, 2022Updated 4 years ago