Safe, programmable, speculative evaluation for Haskell
☆29Oct 22, 2018Updated 7 years ago
Alternatives and similar repositories for speculation
Users that are interested in speculation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- lazy promises☆28Jan 8, 2021Updated 5 years ago
- fast unique variables☆10Aug 23, 2025Updated 7 months ago
- Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.☆19Mar 12, 2026Updated 3 weeks ago
- Semigroups, specialized containers and a general map/reduce framework☆46Mar 3, 2025Updated last year
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 14 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Code for my blog☆11Feb 26, 2017Updated 9 years ago
- Lenses and Traversals for Aeson, based on Microlens.☆15Dec 12, 2025Updated 3 months ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated last month
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆129Jan 23, 2026Updated 2 months ago
- ☆10Mar 2, 2021Updated 5 years ago
- ☆31Oct 31, 2021Updated 4 years ago
- A Haskell library for loading configuation data from environment variables.☆17Nov 4, 2022Updated 3 years ago
- Haskell 2010 stream comonads☆24Dec 6, 2024Updated last year
- Control.Effects☆19Apr 14, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 10 years ago
- A constant-memory approximation of set membership☆25Jan 25, 2025Updated last year
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Apr 29, 2022Updated 3 years ago
- Some standalone stream fusion experiments☆13Feb 28, 2016Updated 10 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- Cloud Haskell Demonstration☆18Sep 5, 2015Updated 10 years ago
- Haskell library of algebraic topology☆26Sep 23, 2011Updated 14 years ago
- Poor Richard's Memory Manager☆15Apr 13, 2021Updated 4 years ago
- Derive instances through isomorphisms☆20Jun 7, 2024Updated last year
- 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.
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆83Jan 10, 2026Updated 3 months ago
- Low-level interface for asynchronous variables☆15Feb 8, 2025Updated last year
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- A wrapper for Node's Stream API☆19Jan 26, 2025Updated last year
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- Simple implementation of Rete algorithm in Haskell.☆17Jan 16, 2025Updated last year
- Clean up the formatting of 'show' output☆21May 10, 2025Updated 11 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Arrow based stream transducer☆20Jun 21, 2020Updated 5 years ago
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- Blurhash decoding and encoding in Elm☆14Mar 2, 2020Updated 6 years ago
- A monad for interfacing with external SAT solvers☆65Jun 17, 2025Updated 9 months ago
- A stream library for purescript☆16Mar 21, 2017Updated 9 years ago
- A single typeclass for Functor, Bifunctor, Trifunctor, etc.☆41Jul 1, 2023Updated 2 years ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆20Jul 23, 2016Updated 9 years ago