alexandersgreen / qio-haskell
The Quantum IO Monad, implemented in Haskell
☆101Updated last year
Alternatives and similar repositories for qio-haskell:
Users that are interested in qio-haskell are comparing it to the libraries listed below
- Numerical computation in native Haskell☆90Updated 4 years ago
- High performance, regular, shape polymorphic parallel arrays.☆140Updated 2 months ago
- Diagrams standard library☆139Updated 3 weeks ago
- constructive abstract algebra☆103Updated 5 years ago
- Low-dimensional linear algebra primitives for Haskell.☆208Updated 3 weeks ago
- Generate Haskell code from a type☆134Updated last month
- 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
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 4 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 5 months ago
- The home of the units Haskell package☆100Updated last month
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆186Updated 8 months ago
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- Remove all the cookies on the tray! - The Haskell iOS & Android board game☆28Updated 5 years ago
- Convert lambda expressions to CCC combinators☆146Updated 9 years ago
- Implementation of Univalence in Cubical Sets☆144Updated 9 years ago
- Python backend for Idris (generates Python source, not bytecode).☆124Updated 7 years ago
- Haskell bindings to the Graphviz toolkit☆64Updated 2 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- ☆111Updated last year
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- constraint level if statements☆111Updated 7 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- Haskell implementations of various ML algorithms.☆57Updated 10 years ago
- Brent's PhD thesis.☆63Updated 8 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated 3 weeks ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆159Updated 6 years ago
- Construct and run Hadoop MapReduce programs in Haskell☆110Updated 7 years ago
- Haskell bindings for Python's Matplotlib☆86Updated 11 months ago
- A library for formalizing Haskell types and functions in Coq☆168Updated last year