PyPI Stats

Search Packages

Find Python packages by name, description, GitHub topic, or filter by metrics
trajectory-invariants
invariants-py

Calculate invariant trajectory representations from trajectory data and generate new trajectories from the invariants.

229 6 0
mojtaba-eshghie
sindi

Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts

159 10 1
ThomasLeMezo
pyinvariant

Invariant is a guaranteed library to compute invariants associated to dynamical systems

33 0 1
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