Alternatives and similar repositories for coq-pipes:

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

• tfausak / blunt
  Convert between pointfree and pointful Haskell expressions.
  ☆49Updated 8 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆100Updated 7 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
• rudymatela / fitspec
  refine properties for testing Haskell programs
  ☆74Updated last month
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated 2 years ago
• Gabriella439 / Haskell-Lens-Tutorial-Library
  The missing tutorial module for the lens library
  ☆82Updated 10 months ago
• snoyberg / classy-prelude
  A typeclass-based Prelude.
  ☆107Updated 8 years ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 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
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 5 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆69Updated 9 years ago
• int-index / ether
  Monad Transformers and Classes
  ☆77Updated 5 years ago
• ocharles / Francium
  A small web programming library on top of reactive-banana and virtual-dom
  ☆79Updated 9 years ago
• barrucadu / dejafu
  Systematic concurrency testing meets Haskell.
  ☆197Updated this week
• jonsterling / JonPRL
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Updated 6 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• simonmar / monad-par
  ☆125Updated last year
• michaelt / streaming
  An optimized general monad transformer for streaming applications, with a simple prelude of functions
  ☆105Updated 6 years ago
• imeckler / mote
  ☆116Updated 9 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 9 years ago
• jonleivent / mindless-coding
  Mindless, verified (erasably) coding using dependent types
  ☆104Updated 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
• BekaValentine / SimpleFP-v2
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆108Updated 7 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆104Updated last week
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 8 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 7 years ago
• haskell-mafia / mafia
  Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.
  ☆137Updated 5 years ago