Alternatives and similar repositories for pipelined-state-machines

Users that are interested in pipelined-state-machines are comparing it to the libraries listed below

• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆67Updated 2 weeks ago
• stevana / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆19Updated 5 months ago
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 2 months ago
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆69Updated 3 months ago
• aionescu / wasm-hs
  Type-safe WebAssembly eDSL in Haskell
  ☆28Updated last year
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated last year
• lexi-lambda / monad-validate
  A Haskell monad transformer library for data validation
  ☆37Updated 2 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 11 months ago
• willtim / recursion-schemes
  My London HUG talk: Recursion Schemes by Example
  ☆50Updated 11 years ago
• con-kitty / categorifier-c
  Haskell to C compiler via Categorifier
  ☆39Updated 2 years ago
• mariatsji / type-depict
  Haskell Expression Visualizer
  ☆13Updated 3 years ago
• input-output-hk / typed-protocols
  Session types framework with support of protocol pipelining.
  ☆16Updated 3 weeks ago
• haskell-debugger / haskell-estgi-debugger
  A modern Haskell debugger
  ☆31Updated 7 months ago
• tfausak / imp
  Automatically import Haskell modules.
  ☆22Updated 3 weeks ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆46Updated 2 years ago
• awkward-squad / ki
  A structured concurrency library
  ☆86Updated 9 months ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆38Updated 9 months ago
• gelisam / hyzzy
  A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.
  ☆32Updated 5 years ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆31Updated 10 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆91Updated last month
• re-xyr / avail
  Low-overhead effect management for concrete monads
  ☆37Updated 3 years ago
• marseillebd / nanopass
  Haskell port of the Nanopass Compiler Framework
  ☆23Updated 2 weeks ago
• claymager / idris2-pkgs
  An unofficial Idris2 package repository for Nix
  ☆47Updated 3 years ago
• gergoerdi / clash-tinybasic
  ☆11Updated 4 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆51Updated 3 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆121Updated 3 years ago
• re-xyr / speff
  Fast higher-order effect handlers with evidence passing
  ☆21Updated last year
• mikesol / plzwrk
  A Haskell front-end framework
  ☆39Updated 5 years ago
• haskell-works / oops
  ☆22Updated last year
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated last year