GitHub repos by tlaplus
7 public repos by tlaplus in the catalog, most starred first.
- tlaplus/tlaplusStars: 3,169JavaRC
- tlaplus/ExamplesStars: 1,596TLABeta
- tlaplus/DrTLAPlusStars: 860TLABeta
- tlaplus/vscode-tlaplusStars: 441TypeScriptAlpha
- tlaplus/CommunityModulesStars: 318TLAAlpha
- tlaplus/tlapmStars: 138OCamlPrototype
- tlaplus/PlusPyStars: 120PythonPrototype