Alternatives and similar repositories for ReVerC:

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

• philzook58 / fib-anyon
  An implementation of Fibonacci Anyons in Haskell
  ☆22Updated 5 years ago
• Suikaba / SelingerQuantumLambdaCalculus
  Implementatoin of Selinger's Typed Quantum Lambda Calculus
  ☆13Updated 5 years ago
• gebner / hott3
  HoTT in Lean 3
  ☆78Updated 4 years ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆39Updated 2 months ago
• cmu-phil / Spectral
  ☆46Updated last year
• peterlefanulumsdaine / palmgren-archive
  Research material of Erik Palmgren (1963–2019)
  ☆20Updated 2 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆100Updated last year
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• math-comp / Coq-Combi
  Algebraic Combinatorics in Coq
  ☆38Updated 2 months ago
• vrahli / NuprlInCoq
  Implementation of Nuprl's type theory in Coq
  ☆45Updated 3 months ago
• dabacon / qsel
  Quantum programming language putting entanglement and superposition front and center
  ☆42Updated 2 years ago
• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆85Updated 2 months ago
• awswan / oraclemodality
  ☆14Updated 9 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆13Updated 3 months ago
• ericfinster / catt.io
  Revised Omega-categorical Typechecker
  ☆26Updated 4 months ago
• JacquesCarette / pi-dual
  Collaborative work on reversible computing
  ☆25Updated 3 years ago
• duckki / lean-quantum
  Formalized quantum computing in Lean theorem prover
  ☆22Updated 4 years ago
• ibab / haskell-quantum
  A Monad for simulating quantum processes.
  ☆22Updated 10 years ago
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• peterlefanulumsdaine / general-type-theories
  A (formalised) general definition of type theories
  ☆57Updated 3 years ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆43Updated 4 years ago
• jonsterling / constructive-sheaf-semantics
  I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.
  ☆17Updated 10 years ago
• rocq-community / dblib
  Coq library for working with de Bruijn indices [maintainer=@KevOrr]
  ☆30Updated 3 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆50Updated last month
• uds-psl / coq-library-complexity
  ☆31Updated last year
• jaycech3n / Isabelle-HoTT
  An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  ☆34Updated 2 years ago
• tlringer / plugin-tutorial
  Yet another plugin tutorial, this time as an exercise for 598
  ☆38Updated last year
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆53Updated last year
• HoTT / M-types
  A formalization of M-types in Agda
  ☆32Updated 5 years ago
• mortberg / gen-cart
  A Unifying Cartesian Cubical Set Model
  ☆35Updated 5 years ago