model-checking/kani
A model checker for Rust programs.
This period is measured from GitHub’s rebuilt star history — one point per week — because our own daily snapshots do not reach this far back yet. Period boundaries can be off by up to half a week; the repository page prints the real start date for each period. So far the history has been fetched for 12,569 of 63,382 tracked repositories, and only those can be ranked in this period.
Star counts measured between 09:47 and 10:04 (BKK).
A model checker for Rust programs.
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A free, open-source Java library for automata, graphs, and transition systems
That's all 3 repositories in this period.