tlaplus/tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

JavaHTMLTLATeXBatchfileAspectJjavaalgorithmshigh-performanceverificationspecificationsmodel-checkingmit-licensetla
This is stars and forks stats for /tlaplus/tlaplus repository. As of 29 Mar, 2024 this repository has 2108 stars and 173 forks.

For more information, visit http://lamport.azurewebsites.net/tla/tla.html Contributing Please read our contribution guide before you start working on your contribution. We also have a feature wishlist. License Copyright (c) 199?-2003 HP Corporation Copyright (c) 2003-2020 Microsoft Corporation Licensed under the MIT License
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
Luohuayu/CatServerJavaOther1.8k01940
JaneMandy/ThinkPHP_RCEJava530100
adrianhajdin/project_syncfusion_dashboardJavaScriptOther2.7k09680
KaTeX/KaTeXJavaScriptPerlHTML17.1k01.2k0
ahrm/chrome-fastreadJavaScriptHTMLCSS2370230
HeiSir2014/M3U8-DownloaderJavaScriptHTMLCSS2.8k04230
itorr/bionic-reading.user.jsJavaScript2780170
dabit3/polygon-ethereum-nextjs-marketplaceJavaScriptSolidityCSS1.2k08340
victornpb/undiscordJavaScriptHTMLCSS4.3k07170
Orz-3/QuantumultXJavaScript3.5k06410