27
33
44
Our great sponsors
- Onboard AI - Learn any GitHub repo in 59 seconds
- InfluxDB - Collect and Analyze Billions of Data Points in Real Time
- SaaSHub - Software Alternatives and Reviews
Mentions
@
|
Stars | Project | Description | |
---|---|---|---|---|
We couldn't find any libraries for the selected period |
Popular TLA Topics
Latest Mentions
Latest mentioned TLA repos
Stars | Project |
---|---|
392 | raft.tla |
10 | just-in-time-paxos |
1,165 | Examples |
2 | onos-tlaplus |
1 | workflows-framework |
44 | ewd998 |
23 | pluscal |
17 | snapshot-isolation-spec |
251 | azure-cosmos-tla |
150 | pgo |
146 | learntla-v2 |
0 | ssd_experiment |
236 | CommunityModules |
765 | DrTLAPlus |
470 | BlockingQueue |
33 | cross-chain-validation |
20 | TLAPLUS_DeadlockEmpire |
1 | river-crossing-spec |
6 | advent-of-tla |
33 | tlaplus-radix-tree |
Latest Discoveries
Latest discovered TLA repos
Stars | Project |
---|---|
10 | just-in-time-paxos |
2 | onos-tlaplus |
1 | workflows-framework |
392 | raft.tla |
44 | ewd998 |
17 | snapshot-isolation-spec |
23 | pluscal |
146 | learntla-v2 |
150 | pgo |
0 | ssd_experiment |
765 | DrTLAPlus |
470 | BlockingQueue |
20 | TLAPLUS_DeadlockEmpire |
1 | river-crossing-spec |
6 | advent-of-tla |
33 | tlaplus-radix-tree |
10 | raft.tla |
0 | tlaplus |
33 | cross-chain-validation |
19 | ceph-consensus-spec |