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
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 10 months ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- IBL course materials for an undergraduate first-semester abstract algebra course that emphasizes visualization.☆76Updated 2 years ago
- Awesome Geometric Algebra☆28Updated 5 years ago
- ☆18Updated 4 years ago
- Tools for creative projects using Qiskit☆19Updated 6 months ago
- Geometric algebra library for Rust☆22Updated 7 years ago
- LEGACY open-source version of Quantum Game 2 (Sept 2019 - Oct 2020)☆68Updated 2 years ago
- Javascript implementation of Fractran☆14Updated 8 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- ⟨𝜑|𝜓⟩.vue - a Vue-based visualization of quantum states and operations☆33Updated last year
- A general purpose relational language☆19Updated 5 years ago
- An encyclopedia of proofs☆63Updated 10 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Source of metamath book☆51Updated last year
- LODA Programs for Integer Sequences☆37Updated 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
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Formalizing results about the Mandelbrot set in Lean☆26Updated 2 weeks ago
- ☆11Updated 2 months ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆32Updated this week
- Ruby script to convert Concepts SVG files into multiple PDF pages☆11Updated 3 years ago
- This is an open science project aimed at representing the path integral in quantum field theory via a tensor network state.☆20Updated 11 years ago
- Haskell bindings to SymEngine☆27Updated 2 years ago
- 🔮 Monitoring the load of IBM Q processors☆22Updated 6 years ago
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- Port of Jeremy Ong's SIMD-enabled projective geometric algebra library☆16Updated 4 years ago
- The CQC library written in Python☆21Updated 5 years ago
- Fun with wgpu: Simulating slime mold☆24Updated last year