Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with equivalence-checker
A curated list of projects in awesome lists tagged with equivalence-checker .
https://github.com/cda-tum/mqt-qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
cpp17 decision-diagrams equivalence-checker jku mqt python quantum-circuits quantum-computing tum verification zx-calculus
Last synced: 22 Dec 2024
https://github.com/sdasgup3/validating-binary-decompilation
Scalable Validator for Binary Lifters
compositional decompilation equivalence-checker llvm-ir validation x86-64 z3-smt-solver
Last synced: 23 Dec 2024
https://github.com/can-lehmann/pathbeaver
Symbolic execution of LLVM IR
equivalence-checker formal-verification llvm symbolic-execution
Last synced: 24 Oct 2024
https://github.com/akashdotsrivastava/compare-css
Test whether two pieces of CSS text are equivalent in browser
comparison-tool css equivalence-checker
Last synced: 19 Nov 2024
