Alternatives and similar repositories for coq-pipes:

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

• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆91Updated 2 years ago
• Gabriella439 / Haskell-Lens-Tutorial-Library
  The missing tutorial module for the lens library
  ☆82Updated 9 months ago
• david-christiansen / IdrisAtGalois2015
  Slides and exercises for the Idris course taught at Galois
  ☆50Updated 9 years ago
• imeckler / mote
  ☆116Updated 9 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆107Updated last year
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 8 years ago
• tfausak / blunt
  Convert between pointfree and pointful Haskell expressions.
  ☆49Updated 8 years ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆69Updated 9 years ago
• ekmett / reflection
  Reifies arbitrary Haskell terms into types that can be reflected back into terms
  ☆104Updated 2 months ago
• ocharles / Francium
  A small web programming library on top of reactive-banana and virtual-dom
  ☆79Updated 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
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆100Updated 7 years ago
• tel / serv
  Kind-safe framework for type-safe APIs
  ☆78Updated 5 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 4 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆139Updated 8 years ago
• atzeus / FRPNow
  ☆88Updated 4 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• int-index / ether
  Monad Transformers and Classes
  ☆77Updated 5 years ago
• MaartenFaddegon / Hoed
  Hoed - A Lightweight Haskell Tracer and Debugger
  ☆51Updated 3 years ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 8 years ago
• BekaValentine / SimpleFP-v2
  A re-do of the SimpleFP repo using de Bruijn index ABTs instead of HOAS
  ☆108Updated 7 years ago
• ndmitchell / bake
  UNMAINTAINED: Continuous integration server
  ☆130Updated 6 years ago
• simonmar / monad-par
  ☆125Updated last year
• commercialhaskell / describe
  Describe Haskell code in GHCi
  ☆71Updated 7 years ago
• michaelt / streaming
  An optimized general monad transformer for streaming applications, with a simple prelude of functions
  ☆104Updated 6 years ago
• fpco / ide-backend
  ide-backend drives the GHC API to build, query, and run your code
  ☆119Updated 9 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆161Updated last month
• snoyberg / classy-prelude
  A typeclass-based Prelude.
  ☆107Updated 8 years ago
• ekmett / discrimination
  Fast linear time sorting and discrimination for a large class of data types
  ☆135Updated 3 months ago