Lean Quantum
Formalized quantum computing in Lean theorem prover
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Q.js | 177 | 3 years ago | 26 | other | JavaScript | |||||
| Quantum computing in your browser. | ||||||||||
| Pymatching | 134 |  | 2 | 4 months ago | 18 | May 23, 2022 | 18 | apache-2.0 | C++ | |
| PyMatching: A Python/C++ library for decoding quantum error correcting codes with minimum-weight perfect matching. | ||||||||||
| Thewalrus | 94 |  | 2 | 10 | 17 days ago | 17 | March 22, 2022 | 19 | apache-2.0 | Python |
| A library for the calculation of hafnians, Hermite polynomials and Gaussian boson sampling. | ||||||||||
| Pytenet | 46 | 5 months ago | 2 | November 17, 2020 | bsd-2-clause | Python | ||||
| Python implementation of quantum tensor network operations and simulations: matrix product states and operators, TDVP time evolution, support for quantum numbers, ... | ||||||||||
| Quantum Inspired Algorithms | 40 | 4 years ago | apache-2.0 | Python | ||||||
| Quantum-inspired algorithms for linear algebra applications. The repository contains all source code used to generate results presented in "Practical performance of quantum-inspired algorithms for linear algebra". | ||||||||||
| Quantum Toy Piano Ibmq | 36 | 3 years ago | JavaScript | |||||||
| Quantum Music Composer for IBM quantum computers | ||||||||||
| Chinook | 23 | 1 | 2 years ago | 14 | June 05, 2022 | 1 | mit | Python | ||
| Python module for simulating matrix-elements in ARPES using a tight-binding model | ||||||||||
| Quantum_decomp | 21 | 8 months ago | 3 | January 24, 2021 | mit | Python | ||||
| Converts unitary matrix to Qiskit/Cirq/Q# cirquit | ||||||||||
| Libcommute | 20 | 3 months ago | mpl-2.0 | C++ | ||||||
| A quantum operator algebra domain-specific language and exact diagonalization toolkit for C++11/14/17 | ||||||||||
| Qcmaquis | 20 | a year ago | 8 | bsd-3-clause | C++ | |||||
| Release-only repository for SCINE QCMaquis, the DMRG software from the Reiher group. | ||||||||||
Alternatives To Lean QuantumSelect To Compare
Alternative Project Comparisons
Popular Quantum Projects
Popular Matrix Projects
Popular Hardware Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Matrix
Quantum
Quantum Computing