quint-co/quint
An executable specification language with delightful tooling based on the temporal logic of actions (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:56 and 02:28 (BKK).
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Interactive playground for exploring and sharing TLA+ specifications in the browser.
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
That's all 3 repositories in this period.