QuantumLib
by inQWIRE
Coq library for reasoning about quantum programs
AI summary
Quantum program analyzer
A Coq library for reasoning about quantum programs
- stars
- 33
- forks
- 10
- watching
- 5
Similar projects
Found by comparing what the projects do, not just their names.
Quantum circuit language
A language and formal verification tool for quantum circuits
Quantum program representation
An intermediate representation for quantum programs used in verified optimization of quantum circuits
Quantum simulator
A high-performance tool for simulating and analyzing quantum stabilizer circuits.
Quantum simulator library
A package for building and simulating digital-analog quantum programs with tunable qubit interactions
Quantum simulator
A comprehensive quantum computing library for programming and simulating quantum systems.
Quantum compiler
An optimizing compiler for a quantum instruction language
Quantum calculator
A Julia package providing functions for common calculations in quantum information processing.
Quantum programming framework
A reference specification and tools for a portable quantum instruction language.
Quantum circuit compiler
A C++ library for synthesizing, transforming and compiling quantum circuits
Quantum simulator
A modern C++ library for simulating arbitrary quantum processes
Quantum circuit simulator
A simulator for quantum circuits that uses various algorithms and techniques to accurately model the behavior of quantum systems.
rigetti/pyquil1.4K
Quantum programmer
A Python library for programming quantum computers using the Quil instruction language.
Quantum compiler
A portable quantum programming framework for compiling and optimizing quantum code on various target platforms.
Algorithm analyzer
Analyzes fermionic quantum simulation algorithms to simplify and understand their behavior
Quantum simulator
A Python library for simulating fermionic systems in quantum computers.
