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
Sorting:
- Dependently-typed finite maps (partial dependent products)☆65Oct 19, 2025Updated 4 months ago
- ☆12Feb 9, 2026Updated 3 weeks ago
- DOM library that uses jsaddle to support both GHCJS and WebKitGTK☆14May 22, 2024Updated last year
- Various type-aligned sequence data structures.☆21Aug 15, 2021Updated 4 years ago
- Haskell URI parsing as ByteStrings☆38Apr 10, 2025Updated 10 months ago
- ☆12Dec 13, 2025Updated 2 months ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Data encoding library for Haskell.☆12Aug 4, 2023Updated 2 years ago
- diagrams backend that renders directly to an HTML5 canvas☆23Apr 21, 2016Updated 9 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 7 years ago
- FoldMap lists☆12Mar 29, 2023Updated 2 years ago
- Conduit interface for cassava [Haskell]☆16Jan 2, 2024Updated 2 years ago
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆20Oct 19, 2025Updated 4 months ago
- musl libc experiment☆12Jan 15, 2019Updated 7 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- Make Document Object Model (DOM) apps that run in any browser and natively using WebKitGtk☆78Oct 30, 2024Updated last year
- ☆35Sep 23, 2024Updated last year
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 4 years ago
- ☆21Oct 2, 2022Updated 3 years ago
- Monad Transformers and Classes☆76Jun 25, 2019Updated 6 years ago
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated last month
- Derive instances through isomorphisms☆20Jun 7, 2024Updated last year
- Framework for writing fully native apps using Reflex, a Functional Reactive Programming library for Haskell.☆43Nov 11, 2018Updated 7 years ago
- ☆36Oct 13, 2021Updated 4 years ago
- Snap port of servant-server (WIP)☆28Aug 26, 2022Updated 3 years ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆21Mar 16, 2025Updated 11 months ago
- ☆93Apr 8, 2024Updated last year
- Automation of Haskell package release process.☆31Oct 31, 2023Updated 2 years ago
- GHC version of haskell-src-exts exactPrint☆72Oct 14, 2025Updated 4 months ago
- Generated migrations for beam databases☆23Feb 20, 2026Updated last week
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- Cross compile minimal NixOS to aarch64☆21Aug 6, 2018Updated 7 years ago
- seamless management of source dependencies with nix☆43Dec 30, 2025Updated 2 months ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- Connecting vinyl records to the wider ecosystem through Generics☆12Feb 19, 2019Updated 7 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- Operational-style Applicative, Alternative, Monad and MonadPlus, using free monads.☆25Jun 16, 2017Updated 8 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- GHCJS interface for the Javascript Websocket API (DEPRECATED: use ghcjs-base's native websockets!)☆21May 13, 2016Updated 9 years ago