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 5 months ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated 2 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 4 months ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated last month
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 13 years ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• Gertjan423 / KHC
  KU Leuven Haskell Compiler
  ☆15Updated 3 years ago
• esengie / fpl-exploration-tool
  Diploma work (if this is still here contact me if you need details)
  ☆13Updated 8 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 5 months ago
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 6 years ago
• agocorona / TCache
  Transactional cache with configurable persistence
  ☆46Updated 2 years ago
• tweag / hyperion
  A lab for future Criterion features.
  ☆28Updated 6 years ago
• alanz / machines-play
  Playing with https://github.com/ekmett/machines
  ☆51Updated 7 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 5 months ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 5 years ago
• sjoerdvisscher / free-functors
  Provides free functors that are adjoint to functors that forget class constraints.
  ☆29Updated 9 months ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• ekmett / promises
  lazy promises
  ☆28Updated 4 years ago
• yav / dump-core
  ☆45Updated 3 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated 2 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 7 years ago
• IntelLabs / flrc-benchmarks
  Benchmarks for use with IntelLabs/flrc.
  ☆10Updated 2 years ago
• byteverse / bytesmith
  Parse bytes fast
  ☆24Updated last year
• schell / varying
  Continuously varying values, made easy :)
  ☆42Updated 5 years ago
• ekmett / parsnip
  ☆18Updated 4 years ago