GITHUB USER
tlaplus — GitHub user
tlaplus has 6.8k stars across their public GitHub repositories, ranking #4128 globally among GitHub users.
Top repositories
How many GitHub stars does tlaplus have?
tlaplus has 6.8k stars across their public repositories, ranking #4128 globally.
What is tlaplus's most-starred repository?
Their most-starred public repository is tlaplus, with 3.0k stars.
Is tlaplus an individual or an organization?
This is an individual GitHub user account.