RCÉpique
tlaplus/tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
- Propriétaire
- tlaplus (organisation)
- Étoiles
- Étoiles : 3 168
- Forks
- Forks : 277
- Langage
- Java
- Licence
- MIT
- Création
- 2016
- Sujets
- tlaspecificationsmodel-checkingverificationhigh-performancejavaalgorithmsmit-license
- Rang
- RC (2 000 à 4 999 ★) Ce que veut dire ce rang
Autres dépôts de tlaplus
Les 7 dépôts de tlaplus- tlaplus/ExamplesÉtoiles : 1 595TLABêta
- tlaplus/DrTLAPlusÉtoiles : 860TLABêta
- tlaplus/vscode-tlaplusÉtoiles : 440TypeScriptAlpha
- tlaplus/CommunityModulesÉtoiles : 318TLAAlpha
- tlaplus/tlapmÉtoiles : 138OCamlPrototype
- tlaplus/PlusPyÉtoiles : 120PythonPrototype
D’autres dépôts Java
Tous les dépôts Java- facebookarchive/network-connection-classÉtoiles : 3 169JavaRC
- java8/Java8InActionÉtoiles : 3 168JavaRC
- power721/alist-tvboxÉtoiles : 3 168JavaRC
- bilibili/boxingÉtoiles : 3 165JavaRC
- Tencent/VasDollyÉtoiles : 3 164JavaRC