1
Published Tools
74
Total Stars
0
Weekly Downloads
11
GitHub Followers
11
Public Repos
Published Tools
1 Skillacross 1 category@tlaplus/tree-sitter-tlaplus
ahelwer
A tree-sitter grammar for TLA⁺ and PlusCal
SkillAI Tool
741 dir
1
Published Tools
74
Total Stars
0
Weekly Downloads
11
GitHub Followers
11
Public Repos
ahelwer
A tree-sitter grammar for TLA⁺ and PlusCal