tlaplus/Examples
A collection of TLA+ specifications for developers interested in formal methods and verification.
TLA
Developer Tools
CLI Tools
NOASSERTION
1.5K
Stars
214
Forks
Mar 1, 2016
Created
Mar 2, 2026
Last Updated
Project Analytics
Stars Growth (1 Month)
+13
+0.9% change
Avg Daily Growth (1 Month)
+0.5
stars per day
Fork/Star Ratio (All Time)
14.7%
Good engagement
Lifetime Growth
0.4
stars/day over 3.7K days
Stars Over Time
Forks Over Time
Open Issues Over Time
Pull Requests Over Time
Commits Over Time
AI-Generated Tags
formal-methods
verification
specification
tla-plus
pluscal
Similar Projects
ohmyzsh/ohmyzsh
Enhances shell experience with plugins/themes for zsh
185.1K
Shell
microsoft/vscode
Visual Studio Code - Open Source code editor
182.3K
TypeScript
github/gitignore
Official .gitignore templates for GitHub repositories
172.8K
jlevy/the-art-of-command-line
Comprehensive command line guide for developers
160.1K
Comments (0)
Sign in to leave a comment or vote
Sign InNo comments yet. Be the first to comment!
Stay in the loop
Get weekly updates on trending AI coding tools and projects.