tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A star delta has been computed for 62,252 of 63,106 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 07:59 and 10:04 (BKK).
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
A model checker for Rust programs.
Automatic verification of LLVM optimizations
A Modern Probabilistic Model Checker
A free, open-source Java library for automata, graphs, and transition systems
Hardware Formal Verification Tool
Interactive playground for exploring and sharing TLA+ specifications in the browser.
TLA+ language support for Visual Studio Code
That's all 8 repositories in this period.