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".☆48Updated 4 years ago
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- Tools for creative projects using Qiskit☆19Updated 10 months ago
- Source of metamath book☆53Updated 2 years ago
- Javascript implementation of Fractran☆15Updated 8 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Metamath verifier in Python☆40Updated 7 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…☆24Updated 2 weeks ago
- Awesome Geometric Algebra☆29Updated 5 years ago
- LEGACY open-source version of Quantum Game 2 (Sept 2019 - Oct 2020)☆68Updated 3 years ago
- A general purpose relational language☆19Updated 5 years ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- A toy Wolfram language interpreter.☆39Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Updated 5 months ago
- 🔮 Monitoring the load of IBM Q processors☆22Updated 7 years ago
- 🍰 Compiling your code to an Ising Hamiltonian so you don't have to!☆53Updated 5 years ago
- Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, C…☆28Updated 6 years ago
- Quacee quantum computing language☆11Updated 8 years ago
- A collection of formulas needed for everyday calculations in geometric algebra and calculus☆19Updated 8 years ago
- Formalizing results about the Mandelbrot set in Lean☆27Updated last month
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- ☆14Updated 2 years ago
- A program for drawing knots and links, with support for importing images☆33Updated 2 years ago
- Proof assistant for qRHL☆22Updated this week
- Quipu Programming Language☆20Updated 13 years ago
- An encyclopedia of proofs☆64Updated last year
- ☆18Updated 5 years ago
- Python implementation of the monster group☆57Updated last month