Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits
AlphaUncommon

pingcap/tla-plus

No description.

Owner
pingcap (organization)
Stars
Stars: 314
Forks
Forks: 37
Language
TLA
License
Apache-2.0
Created
2017
Tier
Alpha (250 to 699 ★) What this tier means
View on GitHub

More repos by pingcap

All 37 repos by pingcap

Nearby in TLA

All TLA repos