alexandersgreen / qio-haskell
The Quantum IO Monad, implemented in Haskell
☆100Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for qio-haskell
- High performance, regular, shape polymorphic parallel arrays.☆138Updated 9 months ago
- Low-dimensional linear algebra primitives for Haskell.☆202Updated last month
- constructive abstract algebra☆101Updated 4 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Updated 3 years ago
- a library for parallel programming☆92Updated last week
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- A black hole raytracer written in Haskell☆171Updated 3 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- Diagrams standard library☆138Updated 3 weeks ago
- A Idris Mode for Atom.io☆100Updated 3 months ago
- Heterogeneous automatic differentiation ("backpropagation") in Haskell☆181Updated 4 months ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- ☆99Updated 6 years ago
- Haskell Language Report☆91Updated 4 years ago
- A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…☆155Updated 3 years ago
- Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…☆139Updated 2 months ago
- Haskell bindings for Python's Matplotlib☆85Updated 7 months ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆88Updated 7 years ago
- Cryptographic library for Haskell☆68Updated last month
- A monad for interfacing with external SAT solvers☆63Updated 3 weeks ago
- A Functional Graph Library for Haskell☆184Updated last month
- The Disco Discus Compiler☆174Updated 5 years ago
- constraint level if statements☆110Updated 6 years ago
- Source for personal blog.☆76Updated last week
- A workshop on learning Agda with minimal prerequisites.☆84Updated 8 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆75Updated 4 years ago
- Hopefully verifiable code generation in GHC☆95Updated 7 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- Examples for Haskell bindings to LLVM☆71Updated 3 years ago