msr-quarc / ReVerCLinks
Verified compilation of space-efficient reversible circuits
☆23Updated 6 years ago
Alternatives and similar repositories for ReVerC
Users that are interested in ReVerC are comparing it to the libraries listed below
Sorting:
- A quantum circuit language and formal verification tool☆104Updated last month
- An implementation of Fibonacci Anyons in Haskell☆22Updated 5 years ago
- Coq library for reasoning about quantum programs☆39Updated 5 months ago
- A Small Quantum Intermediate Representation☆86Updated 5 months ago
- Implementatoin of Selinger's Typed Quantum Lambda Calculus☆13Updated 5 years ago
- Quantum programming language putting entanglement and superposition front and center☆42Updated 2 years ago
- A Monad for simulating quantum processes.☆22Updated 10 years ago
- Formalized quantum computing in Lean theorem prover☆25Updated 4 years ago
- Library for Classical Coq☆39Updated last month
- Schemes in Lean (v2)☆43Updated 4 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆42Updated this week
- Research material of Erik Palmgren (1963–2019)☆20Updated 2 months ago
- A heuristic procedure for proving inequalities☆33Updated 6 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- A (formalised) general definition of type theories☆57Updated 4 years ago
- Faceted execution in Racket☆12Updated 6 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆24Updated 5 months ago
- Algebraic Combinatorics in Coq☆38Updated 5 months ago
- Revised Omega-categorical Typechecker☆26Updated 7 months ago
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- Real number computation software☆125Updated 2 years ago
- An arbitrary-precision differentiable programming language.☆36Updated last year
- OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".☆12Updated last year
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Updated 7 years ago
- Orchard Opetopic Proof Assistant☆27Updated 9 years ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13Updated 7 years ago
- ☆14Updated last year
- Datatypes as quotients of polynomial functors☆36Updated 5 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Updated 3 years ago