PyRank

Bisimulation Python Packages

Python packages with the GitHub topic bisimulation. Sorted by monthly downloads, with stars and forks.
fAndreuzzi
bispy

BisPy - Python bisimulation library

5K 17 5
agenticraft
agenticraft-foundation

Formally verified mathematical foundations for multi-agent AI coordination — CSP process algebra, multiparty session types, spectral topology, temporal logic model checking, and probabilistic verification.

533 1 2