Alternatives and similar repositories for coq-pipes:

Users that are interested in coq-pipes are comparing it to the libraries listed below

• imeckler / mote
  ☆116Updated 9 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆100Updated 7 years ago
• chrisdone-archive / descriptive
  Self-describing consumers/parsers
  ☆42Updated 6 years ago
• ocharles / Francium
  A small web programming library on top of reactive-banana and virtual-dom
  ☆79Updated 9 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 8 years ago
• tfausak / blunt
  Convert between pointfree and pointful Haskell expressions.
  ☆49Updated 8 years ago
• mikeizbicki / ifcxt
  constraint level if statements
  ☆111Updated 7 years ago
• haskell-mafia / mafia
  Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
  ☆137Updated 5 years ago
• michaelt / streaming
  An optimized general monad transformer for streaming applications, with a simple prelude of functions
  ☆105Updated 6 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 9 years ago
• mstksg / auto
  Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & aut…
  ☆181Updated 5 years ago
• ndmitchell / bake
  UNMAINTAINED: Continuous integration server
  ☆130Updated 6 years ago
• rudymatela / fitspec
  refine properties for testing Haskell programs
  ☆74Updated last month
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 5 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• rubik / argon
  Monitor cyclomatic complexity in Haskell programs
  ☆98Updated 6 years ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 4 years ago
• fpco / mezzohaskell
  Community-driven book on intermediate Haskell
  ☆297Updated 10 years ago
• ryantrinkle / memoise
  ☆70Updated 9 years ago
• exists-forall / EventualMonad
  A small and simple Haskell library for automatically ordering dependencies at runtime. Great for handling forward references when writin…
  ☆17Updated 9 years ago
• snoyberg / classy-prelude
  A typeclass-based Prelude.
  ☆107Updated 8 years ago
• Yuras / scanner
  Fast non-backtracking incremental combinator parsing for bytestrings
  ☆46Updated 3 years ago
• agocorona / hplayground
  Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…
  ☆60Updated 8 years ago
• int-index / ether
  Monad Transformers and Classes
  ☆77Updated 5 years ago
• barrucadu / dejafu
  Systematic concurrency testing meets Haskell.
  ☆197Updated last week
• aisamanra / rust-haskell-ffi
  Toy example of calling Rust from Haskell
  ☆130Updated 9 years ago
• jcmincke / Blast
  A Distributed Computing Library in Haskell
  ☆52Updated 7 years ago
• ekmett / discrimination
  Fast linear time sorting and discrimination for a large class of data types
  ☆135Updated 4 months ago