Alternatives and similar repositories for qrhl-tool

Users that are interested in qrhl-tool are comparing it to the libraries listed below

• inQWIRE / SQIR
  A Small Quantum Intermediate Representation
  ☆91Updated 5 months ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated 3 months ago
• msr-quarc / ReVerC
  Verified compilation of space-efficient reversible circuits
  ☆23Updated 6 years ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆72Updated 3 weeks ago
• thery / coqprime
  Prime numbers for Coq
  ☆43Updated last month
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆17Updated 2 weeks ago
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆37Updated 9 years ago
• formosa-crypto / formosa-mlkem
  ☆16Updated last week
• rocq-community / bignums
  Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…
  ☆25Updated 2 months ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 5 years ago
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆106Updated 8 months ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆86Updated 8 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆64Updated last year
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆78Updated 2 months ago
• inQWIRE / VyZX
  Verifying the ZX Calculus
  ☆20Updated 2 months ago
• affeldt-aist / infotheo
  A Rocq formalization of information theory and linear error-correcting codes
  ☆74Updated 3 weeks ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆54Updated 3 months ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆57Updated 4 years ago
• cmu-phil / Spectral
  ☆48Updated 2 years ago
• rocq-community / coqeal
  The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
  ☆74Updated 3 months ago
• psg-mit / twist-popl22
  POPL'22 Artifact for "Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs".
  ☆47Updated 4 years ago
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated 3 years ago
• rocq-community / gaia
  Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
  ☆31Updated 6 months ago
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆76Updated 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• rocq-community / coq-100-theorems
  Statements of famous theorems proven in Coq [maintainer=@jmadiot]
  ☆61Updated last month
• rocq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆24Updated 4 months ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆127Updated last week
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆40Updated last month