QuantumLib
Quantum program analyzer
A Coq library for reasoning about quantum programs
Coq library for reasoning about quantum programs
33 stars
5 watching
10 forks
Language: Coq
last commit: 3 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| inqwire/qwire | A language and formal verification tool for quantum circuits | 95 |
| inqwire/sqir | An intermediate representation for quantum programs used in verified optimization of quantum circuits | 80 |
 quantumlib/stim | A high-performance tool for simulating and analyzing quantum stabilizer circuits. | 367 |
 pasqal-io/qadence | A package for building and simulating digital-analog quantum programs with tunable qubit interactions | 72 |
 qaqarot/qaqarot | A comprehensive quantum computing library for programming and simulating quantum systems. | 374 |
 quil-lang/quilc | An optimizing compiler for a quantum instruction language | 462 |
 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. | 109 |
 softwareqinc/staq | A C++ library for synthesizing, transforming and compiling quantum circuits | 159 |
| softwareqinc/qpp | A modern C++ library for simulating arbitrary quantum processes | 549 |
| quantumlib/qsim | A simulator for quantum circuits that uses various algorithms and techniques to accurately model the behavior of quantum systems. | 484 |
 rigetti/pyquil | A Python library for programming quantum computers using the Quil instruction language. | 1,421 |
 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,544 |