Monad transformers for combining local and global state with backtracking/backjumping/continuations
☆19Jul 23, 2016Updated 10 years ago
Alternatives and similar repositories for monad-lgbt
Users that are interested in monad-lgbt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Basic mathematics library☆15Aug 2, 2026Updated 2 months ago
- Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs☆14Jan 14, 2022Updated 4 years ago
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆24Oct 22, 2023Updated 3 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Bidirectional mapping between two key types☆21May 1, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Delay Differential Equations in Haskell☆11Dec 4, 2018Updated 7 years ago
- ☆54Nov 30, 2018Updated 7 years ago
- A pretty-printing library for laying out text in two dimensions, using a simple box model.☆39Dec 22, 2025Updated 10 months ago
- A simple wrapper of an IO computation to show the used CPU time.☆17Mar 14, 2025Updated last year
- Financial datetimes and holiday recurrence rules☆18Jul 2, 2020Updated 6 years ago
- Dependently typed elimination functions using singletons☆27Jan 11, 2026Updated 9 months ago
- Futuristic New Age Golden Test management☆15Sep 27, 2022Updated 4 years ago
- A Haskell Bittorrent Tracker. Uses snap for web, and handles UDP also.☆10Aug 4, 2021Updated 5 years ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 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.
- Formal proof in Coq of Banach-Tarski paradox.☆19Sep 13, 2026Updated last month
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 8 years ago
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆22Sep 20, 2025Updated last year
- High-Level Redis Database☆14Jul 18, 2022Updated 4 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 9 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Aug 8, 2018Updated 8 years ago
- Highly polymorphic algebraic structures with custom deriving strategies☆30Nov 3, 2021Updated 4 years ago
- Get the Haskell documentation of a name from a module☆31May 15, 2019Updated 7 years ago
- Unpinned byte arrays in GHC haskell☆22Jan 8, 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 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
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 7 years ago
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- View poses coming out of pose estimation networks.☆11Mar 25, 2023Updated 3 years ago
- high-level stream sockets in haskell☆17Apr 27, 2026Updated 6 months ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆23Feb 3, 2026Updated 8 months ago
- PWV Functional Language☆17Oct 30, 2023Updated 2 years ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 7 years ago
- A thread-safe hash table in Haskell☆15Feb 28, 2020Updated 6 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.
- ☆23Aug 30, 2017Updated 9 years ago
- ☆20Apr 17, 2019Updated 7 years ago
- Diffing of (expression) trees.☆80Jun 17, 2026Updated 4 months ago
- Filter with effects☆77Jan 5, 2025Updated last year
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Apr 29, 2021Updated 5 years ago
- Language independent, reproducible, absolute types.☆22Oct 11, 2025Updated last year
- Haskell streaming library optimized for low CPU and GC overhead☆16Jun 21, 2018Updated 8 years ago