soasme/manyan
A fast, TLC-compatible model checker for TLA⁺ implemented in C11
GitHub repository with 10 stars and 2 forks.
Language: TLA
24h trend summary
Trending score 0.61, freshness score 0.91, stars gained +2, forks gained +0.
Latest metric snapshot
2026-11-15: 10 stars and 2 forks.