quantum-mechanics-for-everyone / simulationsLinks
JavaScript MOOC simulations for the edX class Quantum Mechanics for Everyone provided by Georgetown University
☆18Updated 8 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".☆47Updated 4 years ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- LODA Programs for Integer Sequences☆37Updated this week
- Javascript implementation of Fractran☆14Updated 8 years ago
- Tools for creative projects using Qiskit☆19Updated 9 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Deposited packages of the homalg project☆17Updated 3 weeks ago
- Source of metamath book☆52Updated 2 years ago
- An encyclopedia of proofs☆64Updated last year
- FunQy - A high-level hybrid quantum programming language☆33Updated 5 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- 🔮 Monitoring the load of IBM Q processors☆22Updated 7 years ago
- LEGACY open-source version of Quantum Game 2 (Sept 2019 - Oct 2020)☆68Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 4 months ago
- Awesome Geometric Algebra☆29Updated 5 years ago
- ⟨𝜑|𝜓⟩.vue - a Vue-based visualization of quantum states and operations☆34Updated 2 years ago
- A new language for optimization☆13Updated 4 years ago
- Metamath verifier in Python☆40Updated 7 months ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- 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
- Sample projects for Quantomatic☆12Updated 5 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆170Updated 6 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…☆23Updated last week
- ☆18Updated 5 years ago
- Hevea is a fast latex to html translator☆114Updated 3 months ago
- A general purpose relational language☆19Updated 5 years ago
- Proof assistant for qRHL☆22Updated 2 months ago
- Python implementation of the monster group☆56Updated last week
- Quacee quantum computing language☆11Updated 8 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 5 years ago