quantum-mechanics-for-everyone / simulationsLinks
JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University
☆17Updated 7 years ago
Alternatives and similar repositories for simulations
Users that are interested in simulations are comparing it to the libraries listed below
Sorting:
- POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".☆45Updated 3 years ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- Metamath verifier in Python☆40Updated 2 months ago
- Awesome Geometric Algebra☆28Updated 5 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆75Updated 2 years ago
- Tools for creative projects using Qiskit☆19Updated 5 months ago
- Source of metamath book☆49Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 9 months ago
- Deposited packages of the homalg project☆16Updated last week
- An encyclopedia of proofs☆62Updated 9 months ago
- Javascript implementation of Fractran☆14Updated 7 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- A program for drawing knots and links, with support for importing images☆32Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Haskell bindings to SymEngine☆27Updated 2 years ago
- Formalizing results about the Mandelbrot set in Lean☆23Updated last week
- I. Chuang's qasm2circ library, modified to include a run-all script that works on Windows and to have the main qasm2tex.py script work as…☆16Updated 8 years ago
- FunQy - A high-level hybrid quantum programming language☆33Updated 4 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated 3 weeks ago
- A QASM interpreter and quantum simulator in Rust☆28Updated last year
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- ☆18Updated 4 years ago
- 🔮 Monitoring the load of IBM Q processors☆22Updated 6 years ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆27Updated 5 years ago
- A new language for optimization☆13Updated 4 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 6 months ago
- Proof assistant for qRHL☆22Updated last week
- Modifications of Niles Johnson's Hopf Fibration drawing code☆36Updated 10 years ago