tlaplus/vscode-tlaplus
TLA+ language support for Visual Studio Code
A star delta has been computed for 62,678 of 63,382 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 02:18 and 02:21 (BKK).
TLA+ language support for Visual Studio Code
Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
That's all 2 repositories in this period.