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
  ☆88Updated 2 months ago
• thery / coqprime
  Prime numbers for Coq
  ☆42Updated 3 weeks ago
• SSProve / ssprove
  A foundational framework for modular cryptographic proofs in Coq
  ☆69Updated 3 weeks ago
• inQWIRE / QuantumLib
  Coq library for reasoning about quantum programs
  ☆40Updated 2 weeks ago
• EasyCrypt / certicrypt
  CertiCrypt Coq Framework
  ☆35Updated 9 years ago
• formosa-crypto / formosa-mlkem
  ☆17Updated 2 weeks ago
• cpeikert / ALCHEMY
  A Language and Compiler for Homomorphic Encryption Made easY
  ☆67Updated 5 years ago
• 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 last week
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆105Updated 5 months ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆16Updated last month
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 6 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆78Updated this week
• msr-quarc / ReVerC
  Verified compilation of space-efficient reversible circuits
  ☆23Updated 6 years ago
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆54Updated 2 years ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆38Updated this week
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• adampetcher / fcf
  Foundational Cryptography Framework for machine-checked proofs of cryptography.
  ☆53Updated 3 weeks ago
• leanprover / SampCert
  SampCert : Verified Differential Privacy
  ☆82Updated 5 months ago
• rocq-community / coqeal
  The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
  ☆72Updated 2 weeks ago
• uds-psl / coq-library-undecidability
  A library of mechanised undecidability proofs in the Coq proof assistant.
  ☆124Updated last month
• secure-foundations / owl
  Compositional Verification of Security Protocols
  ☆22Updated 2 weeks ago
• leo-colisson / zx-calculus
  A package to typeset ZX calculus directly in LaTeX.
  ☆17Updated last year
• Verified-zkEVM / VCV-io
  Formalized Cryptography Proofs in Lean 4
  ☆47Updated last week
• strub / elliptic-curves-ssr
  A Formal Library about Elliptic Curves for the Mathematical Components Library.
  ☆15Updated 3 years ago
• ejgallego / pycoq
  Python bindings for the Coq interactive proof assistant
  ☆56Updated 3 years ago
• affeldt-aist / infotheo
  A Rocq formalization of information theory and linear error-correcting codes
  ☆71Updated this week
• ramonfmir / lean-scheme
  Schemes in Lean (v2)
  ☆44Updated 5 years ago
• GaloisInc / cryptol-specs
  Specifications of cryptographic algorithms in Cryptol
  ☆43Updated 2 weeks ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆48Updated last year
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆39Updated last month