Top 6 Trending TLA Projects
-
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
ABOUT:
The growth percentage is calculated as the increase in the number of stars
compared to the previous month. We list only projects that have
at least 500 stars and a GitHub organization logo set.
Index
What are some of the trending open-source TLA projects? This list will help you:
Project | Growth | |
---|---|---|
1 | pgo | 4.8% |
2 | CommunityModules | 2.4% |
3 | Examples | 2.1% |
4 | DrTLAPlus | 1.2% |
5 | azure-cosmos-tla | 1.2% |
6 | tla-plus | 0.7% |