Alternatives and similar repositories for qwu:

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

• khanage / heineken
  A general build tool for haskell projects inspired by leiningen
  ☆16Updated 9 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆45Updated 8 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆48Updated 2 years ago
• ekmett / thc
  An experimental "Turbo" Haskell Runtime - Nothing really to see here yet
  ☆17Updated 9 years ago
• liamoc / dixi
  A wiki based on firm theoretical foundations
  ☆51Updated 8 years ago
• bamos / snowglobe
  Haskell-driven, small-scale web analytics with minimal configuration.
  ☆27Updated 8 years ago
• bmsherman / haskell-matlab
  Matlab bindings and interface for Haskell
  ☆13Updated 4 years ago
• iu-parfunc / haskell_dsl_tour
  Examples of relevant technologies for implementing DSLs in Haskell.
  ☆15Updated 9 years ago
• fokot / howerpoint
  ☆72Updated 7 years ago
• ekmett / fractions
  lazy continued fractions
  ☆18Updated 9 years ago
• bryangarza / spectre
  Convert images to audio, visible with a spectrograph. Uses Inverse Fast Fourier Transform.
  ☆19Updated 9 years ago
• bch29 / robo-monad
  Heavily inspired by RoboCode. Program robots in Haskell and watch them fight.
  ☆15Updated 9 years ago
• batterseapower / lattices
  Fine-grained lattice primitives for Haskell
  ☆18Updated 7 years ago
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 3 years ago
• pavelchristof / machine-learning
  Experiments with haskell neural networks
  ☆11Updated 9 years ago
• beeramtheman / 99haskell
  Live Haskell coding problems
  ☆39Updated 9 years ago
• haskell-suite / haskell-tc
  Haskell typechecker
  ☆39Updated 5 years ago
• intolerable / reddit
  reddit api for haskell
  ☆77Updated 2 years ago
• HIPERFIT / accelerate-opencl
  ☆34Updated 13 years ago
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 7 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 5 months ago
• gelisam / ludum-dare-31
  The theme for LD31 was "Entire Game on One Screen"
  ☆29Updated 8 years ago
• mmirman / ImperativeHaskell
  Proof that Haskell can look and act like an imperative language.
  ☆74Updated 12 years ago
• langston-barrett / CoverTranslator
  A tool for formally verifying Haskell code in Agda
  ☆28Updated 8 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• alexbecker / formal-morality
  A formal moral framework coded in Haskell
  ☆49Updated 10 years ago
• soenkehahn / getopt-generics
  Create command line interfaces with ease
  ☆41Updated 2 years ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆15Updated 8 years ago