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".☆45Updated 3 years ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- LODA Programs for Integer Sequences☆36Updated last week
- Source of metamath book☆51Updated last year
- Tools for creative projects using Qiskit☆19Updated 7 months ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 11 months 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 2 months ago
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆28Updated 5 years ago
- Javascript implementation of Fractran☆14Updated 8 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
- The CQC library written in Python☆21Updated 5 years ago
- 🔮 Monitoring the load of IBM Q processors☆22Updated 6 years ago
- An encyclopedia of proofs☆63Updated 11 months ago
- LEGACY open-source version of Quantum Game 2 (Sept 2019 - Oct 2020)☆68Updated 2 years ago
- A general purpose relational language☆19Updated 5 years ago
- Applets about Calculus☆38Updated last year
- Proof assistant for qRHL☆22Updated 2 months ago
- Metamath verifier in Python☆39Updated 4 months ago
- FunQy - A high-level hybrid quantum programming language☆33Updated 4 years ago
- A reference implementation for a quantum virtual machine in Python☆47Updated 6 years ago
- Formalizing results about the Mandelbrot set in Lean☆26Updated last week
- Delft Quantum & Classical simulator☆17Updated 3 years ago
- A place to put our 2018 Xena project UROP thoughts and programs.☆25Updated 5 years ago
- ☆38Updated 2 years ago
- A toy Wolfram language interpreter.☆35Updated last year
- GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.☆45Updated 7 years ago
- Applied Discrete Structures using PreTeXt☆45Updated last week
- Google Collaboratory notebooks for the SDSS 2020 workshop on "Introduction to programming quantum computers"☆27Updated 5 years ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 4 years ago