ekmett/speculation external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

ekmett/speculation

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/ekmett/speculation)

Close

ekmett / speculationView on GitHubMore

• External links
• Readme badge

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

• ekmett / promises

  View on GitHub
  lazy promises
  ☆28Jan 8, 2021Updated 5 years ago
• ekmett / multicategories

  View on GitHub
  Playing around with multicategories and operads
  ☆16Jun 13, 2015Updated 10 years ago
• mortberg / AlgTop

  View on GitHub
  Haskell library of algebraic topology
  ☆26Sep 23, 2011Updated 14 years ago
• tonymorris / validation

  View on GitHub
  ☆31Oct 31, 2021Updated 4 years ago
• ekmett / unique

  View on GitHub
  fast unique variables
  ☆10Aug 23, 2025Updated 6 months ago
• spacekitteh / haskell-clifford

  View on GitHub
  Clifford algebra for Haskell! :D
  ☆14Jul 1, 2014Updated 11 years ago
• bitonic / hakyll-agda

  View on GitHub
  Hakyll support for Agda literate files
  ☆19Jul 20, 2021Updated 4 years ago
• mgsloan / crdt

  View on GitHub
  Implementation of Haskell CRDTs (Commutative Replicated Data Types)
  ☆13Mar 5, 2012Updated 13 years ago
• puffnfresh / purescript-streams

  View on GitHub
  Compositional, streaming I/O library (unfinished)
  ☆13Sep 7, 2015Updated 10 years ago
• masaeedu / monoidal

  View on GitHub
  ☆10Mar 2, 2021Updated 5 years ago
• ekmett / reducers

  View on GitHub
  Semigroups, specialized containers and a general map/reduce framework
  ☆46Mar 3, 2025Updated 11 months ago
• MarisaKirisame / CompilingCombinator

  View on GitHub
  Code for my blog
  ☆11Feb 26, 2017Updated 9 years ago
• fosskers / microlens-aeson

  View on GitHub
  Lenses and Traversals for Aeson, based on Microlens.
  ☆15Dec 12, 2025Updated 2 months ago
• felixSchl / purescript-pipes

  View on GitHub
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Apr 29, 2022Updated 3 years ago
• jdoughertyii / hott-species

  View on GitHub
  Combinatorial species in HoTT
  ☆12May 23, 2015Updated 10 years ago
• SamuelSchlesinger / summer

  View on GitHub
  Extensible sums and products for Haskell
  ☆19Feb 22, 2026Updated last week
• ekmett / hyperloglog

  View on GitHub
  A constant-memory approximation of set membership
  ☆25Jan 25, 2025Updated last year
• patrickt / configurant

  View on GitHub
  A Haskell library for loading configuation data from environment variables.
  ☆17Nov 4, 2022Updated 3 years ago
• snoyberg / vegito

  View on GitHub
  Some standalone stream fusion experiments
  ☆13Feb 28, 2016Updated 10 years ago
• haskell-distributed / distributed-process-demos

  View on GitHub
  Cloud Haskell Demonstration
  ☆18Sep 5, 2015Updated 10 years ago
• nbenton / coqdomains

  View on GitHub
  Domain theory and denotational semantics in Coq
  ☆10Dec 13, 2014Updated 11 years ago
• well-typed / blockio-uring

  View on GitHub
  Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.
  ☆19Feb 16, 2026Updated 2 weeks ago
• ekmett / bound

  View on GitHub
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆128Jan 23, 2026Updated last month
• kowey / GenI

  View on GitHub
  Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
  ☆21May 4, 2015Updated 10 years ago
• sjoerdvisscher / effects

  View on GitHub
  Control.Effects
  ☆19Apr 14, 2019Updated 6 years ago
• WhileTruu / elm-blurhash

  View on GitHub
  Blurhash decoding and encoding in Elm
  ☆14Mar 2, 2020Updated 5 years ago
• ekmett / streams

  View on GitHub
  Haskell 2010 stream comonads
  ☆24Dec 6, 2024Updated last year
• purescript-contrib / purescript-avar

  View on GitHub
  Low-level interface for asynchronous variables
  ☆15Feb 8, 2025Updated last year
• derekelkins / ads

  View on GitHub
  Authenticated Data Structures
  ☆16Jul 5, 2015Updated 10 years ago
• maciej-bendkowski / generic-boltzmann-brain

  View on GitHub
  Analytic sampler framework for algebraic data types
  ☆16May 12, 2023Updated 2 years ago
• purescript-node / purescript-node-streams

  View on GitHub
  A wrapper for Node's Stream API
  ☆19Jan 26, 2025Updated last year
• ekmett / gc

  View on GitHub
  Poor Richard's Memory Manager
  ☆15Apr 13, 2021Updated 4 years ago
• hanshoglund / iso-deriving

  View on GitHub
  Derive instances through isomorphisms
  ☆20Jun 7, 2024Updated last year
• alanz / machines-play

  View on GitHub
  Playing with https://github.com/ekmett/machines
  ☆51Jul 2, 2017Updated 8 years ago
• favonia / homotopy

  View on GitHub
  My old Agda code for Homotopy Type Theory. (Halted. See HoTT/HoTT-Agda for the new one.)
  ☆27Aug 14, 2014Updated 11 years ago
• monadfix / shower

  View on GitHub
  Clean up the formatting of 'show' output
  ☆21May 10, 2025Updated 9 months ago
• mikeshulman / dirtt

  View on GitHub
  Directed type theory for formal category theory
  ☆17Apr 7, 2017Updated 8 years ago
• as-capabl / machinecell

  View on GitHub
  Arrow based stream transducer
  ☆20Jun 21, 2020Updated 5 years ago
• ekmett / kan-extensions

  View on GitHub
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆83Jan 10, 2026Updated last month