https://github.com/tlaplus-community/tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal
https://github.com/tlaplus-community/tree-sitter-tlaplus

grammar parser pluscal tlaplus tree-sitter

Last synced: about 17 hours ago
JSON representation

A tree-sitter grammar for TLA⁺ and PlusCal

• Host: GitHub
• URL: https://github.com/tlaplus-community/tree-sitter-tlaplus
• Owner: tlaplus-community
• License: mit
• Created: 2021-03-10T22:47:52.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-10-26T20:09:50.000Z (14 days ago)
• Last Synced: 2024-10-26T22:14:01.272Z (14 days ago)
• Topics: grammar, parser, pluscal, tlaplus, tree-sitter
• Language: C
• Homepage:
• Size: 57.8 MB
• Stars: 57
• Watchers: 4
• Forks: 10
• Open Issues: 5
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project