alexandersgreen / qio-haskellLinks
The Quantum IO Monad, implemented in Haskell
☆104Updated last year
Alternatives and similar repositories for qio-haskell
Users that are interested in qio-haskell are comparing it to the libraries listed below
Sorting:
- Numerical computation in native Haskell☆91Updated 4 years ago
- Low-dimensional linear algebra primitives for Haskell.☆208Updated last month
- constructive abstract algebra☆103Updated 5 years ago
- High performance, regular, shape polymorphic parallel arrays.☆142Updated 6 months ago
- 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
- Convert lambda expressions to CCC combinators☆148Updated 9 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆152Updated 10 months ago
- Diagrams standard library☆139Updated last month
- Implementation of Univalence in Cubical Sets☆147Updated 10 years ago
- Collection of Idris tests and demonstration programs☆193Updated 7 years ago
- Generate Haskell code from a type☆136Updated 5 months ago
- a library for parallel programming☆97Updated 2 months ago
- Haskell bindings for Python's Matplotlib☆86Updated last year
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- Source for personal blog.☆77Updated 4 months ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- Globular☆39Updated 6 years ago
- A workshop on learning Agda with minimal prerequisites.☆86Updated 9 years ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆190Updated 2 months ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆162Updated 6 years ago
- A Functional Graph Library for Haskell☆193Updated 10 months ago
- A black hole raytracer written in Haskell☆178Updated 3 years ago
- A monad for interfacing with external SAT solvers☆64Updated last month
- A multi-method simulation library☆82Updated last year
- Learn you an Agda (and achieve enlightenment)☆316Updated 7 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆156Updated 4 years ago
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- The home of the units Haskell package☆100Updated last month
- compiler with polyhedral optmization for a lazy functional programming language☆68Updated 7 years ago