Trending TLA Projects

This page lists the top trending TLA projects based on the growth of GitHub stars.
It is updated once every day. The last update was on 22 Apr 2024.
» Get a weekly report « straight in your inbox. Every Friday.

Top 6 Trending TLA Projects

  • pgo

    PGo is a source to source compiler from Modular PlusCal specs into Go programs.

  • CommunityModules

    TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

  • Examples

    A collection of TLA⁺ specifications of varying complexities (by tlaplus)

  • DrTLAPlus

    Dr. TLA+ series - learn an algorithm and protocol, study a specification

  • azure-cosmos-tla

    Azure Cosmos TLA+ specifications

  • tla-plus

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%