Alternatives and similar repositories for qio-haskell

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

• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 5 years ago
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆142Updated 7 months ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 5 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆147Updated 10 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆86Updated 9 years ago
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆152Updated 11 months ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 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
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆83Updated 10 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 4 months ago
• augustss / djinn
  Generate Haskell code from a type
  ☆139Updated 6 months ago
• haskell / parallel
  a library for parallel programming
  ☆97Updated 2 months ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated last week
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• andrejbauer / Homotopy
  Homotopy theory in Coq.
  ☆89Updated 14 years ago
• UlfNorell / agda-summer-school
  Summer school on programming in Agda
  ☆68Updated 2 years ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆191Updated 2 months ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• abarbu / matplotlib-haskell
  Haskell bindings for Python's Matplotlib
  ☆86Updated last year
• alhassy / CatsCheatSheet
  This project is to contain a listing of common theorems in elementary category theory.
  ☆73Updated 5 years ago
• UlfNorell / agda-prelude
  Programming library for Agda
  ☆130Updated last year
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆209Updated 2 months ago
• bollu / simplexhc
  compiler with polyhedral optmization for a lazy functional programming language
  ☆68Updated 7 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆178Updated 3 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆69Updated 9 years ago
• diagrams / diagrams-lib
  Diagrams standard library
  ☆139Updated 2 months ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 4 years ago