Alternatives and similar repositories for ReVerC

Users that are interested in ReVerC are comparing it to the libraries listed below

• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated 3 months ago
• Suikaba / SelingerQuantumLambdaCalculus
  Implementatoin of Selinger's Typed Quantum Lambda Calculus
  ☆13Updated 5 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆103Updated last year
• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 5 years ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆22Updated 4 years ago
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated this week
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆86Updated 3 months ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• OPLSS / oplss-notes-2019
  Notes and handouts from OPLSS 2019
  ☆34Updated 5 years ago
• proofengineering / proofengineering-bib
  BibTeX bibliographies for proof engineering-related papers
  ☆30Updated 5 years ago
• vrahli / NuprlInCoq
  Implementation of Nuprl's type theory in Coq
  ☆45Updated 5 months ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆54Updated last year
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated last week
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• DavidJaz / DynamicalSystemsBook
  ☆47Updated 11 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• GaloisInc / lean-protocol-support
  This project contains various supporting libraries for lean to reason about protocols.
  ☆43Updated 7 years ago
• cmu-phil / Spectral
  ☆46Updated last year
• peterlefanulumsdaine / palmgren-archive
  Research material of Erik Palmgren (1963–2019)
  ☆20Updated last month
• ElifUskuplu / Stlc_deBruijn
  Simply Typed Lambda Calculus with de Bruijn indices
  ☆14Updated last month
• robsimmons / abbot
  Generation of abstract binding trees
  ☆28Updated 6 months ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆36Updated last year
• OUPL / MLCert
  Certified Machine Learning
  ☆41Updated 4 years ago
• math-comp / tutorial_material
  proof script associated to tutorial material
  ☆17Updated last year
• JacquesCarette / QuantumPi
  Code repository for our work on Quantum Pi
  ☆10Updated 11 months ago
• jamievicary / globular
  Globular
  ☆39Updated 6 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆163Updated 5 years ago