PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
munich-quantum-toolkit
mqt-qcec

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

23K 111 24
mojtaba-eshghie
sindi

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

160 10 1
kosarev
eqbool

Testing boolean expressions for equivalence

68 0 0
mojtaba-eshghie
predi

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

26 10 1
mojtaba-eshghie
spi-solidity-predicate-inspector

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

2 10 1