ibab / haskell-quantum
A Monad for simulating quantum processes.
☆22Updated 10 years ago
Alternatives and similar repositories for haskell-quantum:
Users that are interested in haskell-quantum are comparing it to the libraries listed below
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Globular☆39Updated 6 years ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- An Experiment in Haskell Symbolic Algebra☆72Updated 12 years ago
- The Quantum IO Monad, implemented in Haskell☆101Updated last year
- ☆46Updated last year
- ☆44Updated 2 years ago
- Haskell library of algebraic topology☆23Updated 13 years ago
- A quantum circuit language and formal verification tool☆100Updated last year
- Dependently Typed Metaprogramming Exercises☆23Updated 7 years ago
- DIY Markov Chains.☆25Updated 4 months ago
- ☆27Updated 10 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆40Updated 3 years ago
- Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic☆35Updated 6 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- An experimental category theory library for Lean☆49Updated last year
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Updated 6 years ago
- What I wish I knew when learning HoTT☆53Updated 6 years ago
- A topological data analysis library for Haskell☆29Updated 4 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆162Updated 5 years ago
- Library of categories, with categorical constructions on them