Alternatives and similar repositories for speculation

Users that are interested in speculation are comparing it to the libraries listed below

• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 9 months ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 8 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 7 years ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆50Updated 7 months ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆65Updated last year
• sjoerdvisscher / one-liner
  Constraint-based generics
  ☆49Updated last year
• yav / dump-core
  ☆45Updated 3 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 3 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 9 years ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• sjoerdvisscher / free-functors
  Provides free functors that are adjoint to functors that forget class constraints.
  ☆29Updated last year
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• jberryman / chan-benchmarks
  Criterion benchmarks for the different haskell concurrent channel implementations in base and stm
  ☆17Updated 11 years ago
• mokus0 / monad-loops
  Some useful control operators for looping
  ☆47Updated 5 years ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆33Updated last year
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 8 months ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years ago
• winterland1989 / stdio
  Haskell Standard Input and Output
  ☆46Updated 7 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated 2 years ago
• ezyang / ghc-shake
  ghc --make reimplemented with Shake
  ☆32Updated last year
• Gabriella439 / managed
  A monad for managed values
  ☆51Updated 2 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 7 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 8 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• kosmikus / records-sop
  Experimental implementation of generic record subtyping
  ☆18Updated last year
• patrickt / fastsum
  A fast open-union type, suitable for 100+ contained alternatives.
  ☆99Updated last year
• vincenthz / hs-memory
  haskell memory
  ☆48Updated 2 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 5 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆25Updated last month