A tree-sitter grammar for TLA⁺ and PlusCal
Cross-referenced across 55 tracked directories
#3846
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
3/10/2021
Created
74
GitHub Stars
Run an AI-powered security scan to analyze this package's source code for vulnerabilities, prompt injection vectors, data exfiltration risks, and behavior mismatches.
Scans fetch actual source code from the GitHub repository, not just the README.
elliot-recall
Recall Desktop SDK
vincelwt
Lunary is an open-source platform for AI developers.
GitHub Actions
Breakthrough Method of Agile AI-driven Development
atilaz
Initialize Neon projects
17
Forks
10
Open Issues
2/17/2026
Last Commit
Recently added to the ecosystem