aidenybai/
A TLA+ interpreter and model checker in TypeScript
by Aiden Bai TLA MIT licence 12 forks Created Oct 2026 View on GitHub
- Stars
- 254
- <1% of aidenybai's stars
- Rank
- #227,244
- of 851,984 repos, top 27%
Among 851,984 repos
250–400 stars: 77,404 repos, including tla-ts
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #226,524
- Next milestone
- +102 stars to reach the top 20%
- Popular
- One of 490,652 repos with 100+ stars