tlaplus/tlaplus — GitHub trending stats & insights

Reach 125K+ monthly visitors

tlaplus/tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Java

260

53 contributors

MIT License

Achievements

Trendshift snapshots GitHub's daily Trending list and runs its own trending list

tlaplus/tlaplus has been featured on GitHub Trending, first reaching #13 on Mar 16, 2026

tlaplus/tlaplus has trended on Trendshift's daily and weekly list

First achieved on 14th, Mar 2026 for Java

First achieved in Week 11, 2026 for Java