QuantumLib
Quantum program analyzer
A Coq library for reasoning about quantum programs
Coq library for reasoning about quantum programs
32 stars
5 watching
10 forks
Language: Coq
last commit: 13 days ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| inqwire/qwire | A language and formal verification tool for quantum circuits | 92 |
| inqwire/sqir | An intermediate representation for quantum programs used in verified optimization of quantum circuits | 79 |
 quantumlib/stim | A high-performance tool for simulating and analyzing quantum stabilizer circuits. | 350 |
 pasqal-io/qadence | A digital-analog quantum programming interface allowing users to build and simulate complex quantum programs. | 70 |
 qaqarot/qaqarot | A comprehensive quantum computing library for programming and simulating quantum systems. | 372 |
 quil-lang/quilc | An optimizing compiler for a quantum instruction language | 460 |
 bbn-q/quantuminfo.jl | A Julia package providing functions for common calculations in quantum information processing. | 17 |
| quil-lang/quil | A reference specification and tools for a portable quantum instruction language. | 108 |
 softwareqinc/staq | A C++ library for synthesizing, transforming and compiling quantum circuits | 157 |
| softwareqinc/qpp | A modern C++ library for simulating arbitrary quantum processes | 541 |
| quantumlib/qsim | A simulator for quantum circuits that uses various algorithms and techniques to accurately model the behavior of quantum systems. | 452 |
 rigetti/pyquil | A Python library for programming quantum computers using the Quil instruction language. | 1,410 |
 qutech-delft/openql | A portable quantum programming framework for compiling and optimizing quantum code on various target platforms. | 101 |
 projectq-framework/fermilib | Analyzes fermionic quantum simulation algorithms to simplify and understand their behavior | 87 |
| quantumlib/openfermion | A Python library for simulating fermionic systems in quantum computers. | 1,526 |