Alternatives and similar repositories for qwu

Users that are interested in qwu are comparing it to the libraries listed below

• jwiegley / coq-pipes
  ☆98Updated 7 years ago
• fokot / howerpoint
  ☆72Updated 7 years ago
• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 9 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆52Updated 6 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 10 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• iand675 / haskell-checklist
  Preflight checklist for Haskell code. Aspire to greatness!
  ☆68Updated 8 years ago
• gelisam / ludum-dare-31
  The theme for LD31 was "Entire Game on One Screen"
  ☆29Updated 8 years ago
• sdiehl / dive-into-ghc
  Dive into GHC
  ☆82Updated 8 years ago
• 5outh / Bang
  A Drum Machine DSL for Haskell
  ☆94Updated 6 years ago
• bch29 / robo-monad
  Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
  ☆15Updated 9 years ago
• plaidfinch / GQFC
  Source material for "Functional Pearl: Getting a Quick Fix on Comonads"
  ☆46Updated 7 years ago
• killy971 / hpc-coveralls
  coveralls.io support for haskell code coverage with hpc
  ☆60Updated last year
• ezyang / ghc-proposals
  Proposed compiler and language changes for GHC and GHC/Haskell
  ☆25Updated 8 years ago
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• dmjio / google-translate
  Google Translate API
  ☆50Updated 5 months ago
• pigworker / CS410-14
  being the materials for CS410 Advanced Functional Programming in the 2014-15 session
  ☆70Updated 9 years ago
• nomeata / ghc-proofs
  Let GHC prove program equations for you
  ☆145Updated 6 years ago
• lortabac / versioning
  Type-safe data versioning.
  ☆98Updated last year
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 9 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 10 years ago
• soenkehahn / getopt-generics
  Create command line interfaces with ease
  ☆41Updated 2 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆45Updated 8 years ago
• intolerable / reddit
  reddit api for haskell
  ☆78Updated 2 years ago
• bamos / snowglobe
  Haskell-driven, small-scale web analytics with minimal configuration.
  ☆27Updated 8 years ago
• MaartenFaddegon / Hoed
  Hoed - A Lightweight Haskell Tracer and Debugger
  ☆51Updated 4 years ago
• sellout / dualizer
  Delete half (minus ε) of your Haskell code!
  ☆30Updated last week
• pigworker / CS410-15
  being the materials for CS410 Advanced Functional Programming in the 2015/16 session
  ☆40Updated 8 years ago