ibab / haskell-quantum
A Monad for simulating quantum processes.
☆22Updated 9 years ago
Related projects: ⓘ
- Coordinate-free hypersurfaces as Haskell types☆39Updated last year
- An implementation of Fibonacci Anyons in Haskell☆22Updated 4 years ago
- A geometric algebra implementation in Haskell☆28Updated 4 years ago
- Globular☆37Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- topos programming☆31Updated 6 years ago
- An Experiment in Haskell Symbolic Algebra☆71Updated 12 years ago
- ☆44Updated last year
- ☆17Updated 7 months ago
- A fast, easy-to-use ring solver for agda with step-by-step solutions☆38Updated 2 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆19Updated 4 years ago
- Monadic Constraint Programming framework☆26Updated 6 years ago
- ☆44Updated last year
- Deposited packages of the homalg project☆12Updated 3 weeks ago
- Brent's PhD thesis.☆63Updated 8 years ago
- The Quantum IO Monad, implemented in Haskell☆100Updated 6 months ago
- Code snippets accompanying the talk "Automatic Differentiation in Haskell."☆19Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆53Updated last month
- Combinatory automatic differentiation in Haskell for heterogeneous computing.☆21Updated 6 years ago
- DIY Markov Chains.☆23Updated 3 years ago
- Dependently Typed Metaprogramming Exercises☆21Updated 6 years ago
- A topological data analysis library for Haskell☆28Updated 3 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Synthetic Differential Geometry in Agda☆12Updated 9 years ago
- Cohesive type theory☆18Updated 2 years ago
- Paper: The simple essence of automatic differentiation☆22Updated 5 years ago
- Haskell bindings to ArrayFire☆60Updated last month
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago