Alternatives and similar repositories for qio-haskell

Users that are interested in qio-haskell are comparing it to the libraries listed below

• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆152Updated 10 months ago
• ekmett / algebra
  constructive abstract algebra
  ☆103Updated 5 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆142Updated 6 months ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 4 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆145Updated 9 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆83Updated 10 years ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆140Updated 3 weeks ago
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆208Updated last month
• ekmett / ersatz
  A monad for interfacing with external SAT solvers
  ☆64Updated last month
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆68Updated 7 years ago
• jfdm / idris-containers
  Various data structures for use in the Idris Language.
  ☆95Updated 5 years ago
• ekmett / hask
  Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
  ☆162Updated 4 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆148Updated 9 years ago
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• augustss / djinn
  Generate Haskell code from a type
  ☆136Updated 4 months ago
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• discus-lang / ddc
  The Disco Discus Compiler
  ☆174Updated 6 years ago
• phischu / monad-examples
  Example uses of monads
  ☆43Updated 6 years ago
• jamievicary / globular
  Globular
  ☆39Updated 6 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆64Updated 9 years ago
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆70Updated last week
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 8 months ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 8 years ago
• idris-hackers / idris-crypto
  Implementation of cryptographic primitives using Idris
  ☆122Updated 7 years ago
• ziman / idris-py
  Python backend for Idris (generates Python source, not bytecode).
  ☆124Updated 7 years ago
• idris-hackers / idris-demos
  Collection of Idris tests and demonstration programs
  ☆193Updated 7 years ago