This is stars and forks stats for /tlaplus/DrTLAPlus repository. As of 09 May, 2024 this repository has 764 stars and 118 forks.
Dr. TLA+ Series - learn an algorithm and protocol, study a specification Date Speaker Topic Media 06.22.2016 Andrew Helwer Paxos video, slides 07.21.2016 Jin Li Raft video, slides 08.29.2016 Cheng Huang Fast Paxos video, slides 09.23.2016 Rustan Leino Global Snapshots video, slides 11.09.2016 Heidi Howard Flexible Paxos video, slides 01.20.2017 Shuai Mu Byzantine Paxos video, slides 03.01.2018 Ed Huang Verifying Distributed Transaction with TLA+ in TiDB 11.01.2018 Murat Demirbas Consistency guarantees...
Dr. TLA+ Series - learn an algorithm and protocol, study a specification Date Speaker Topic Media 06.22.2016 Andrew Helwer Paxos video, slides 07.21.2016 Jin Li Raft video, slides 08.29.2016 Cheng Huang Fast Paxos video, slides 09.23.2016 Rustan Leino Global Snapshots video, slides 11.09.2016 Heidi Howard Flexible Paxos video, slides 01.20.2017 Shuai Mu Byzantine Paxos video, slides 03.01.2018 Ed Huang Verifying Distributed Transaction with TLA+ in TiDB 11.01.2018 Murat Demirbas Consistency guarantees...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Vanlightly/kafka-tlaplus | TLA | 25 | 0 | 1 | 0 |
| yuanfengyun/q_algorithm | LuaC++JavaScript | 1.9k | 0 | 846 | 0 |
| pingcap/tla-plus | TLACoqMakefile | 279 | 0 | 40 | 0 |
| pathikrit/scalgos | Scala | 429 | 0 | 118 | 0 |
| ShahjalalShohag/code-library | C++Python | 2.3k | 0 | 658 | 0 |
| iamdestinychild/30-Days-DSA-Challenge | C++PythonJava | 49 | 0 | 74 | 0 |
| sadanandpai/sorting-visualizer | TypeScriptSCSSJavaScript | 590 | 0 | 175 | 0 |
| morpho-org/morpho-blue | SolidityTypeScriptShell | 31 | 1 |