tree-sitter-tlaplus

tlaplus-community

A tree-sitter grammar for TLA⁺ and PlusCal

parser

View on GitHub

45 Stars

6 Forks

45 Watchers

C Language

mit License

Cost to Build

$4.16M

Market Value

$5.56M

How is this calculated?

Growth over time

2 data points · 2022-09-24 → 2023-02-13

Stars Forks Watchers

💬

How do you feel about this project?

Ask AI about tree-sitter-tlaplus

Question copied to clipboard

What is the tlaplus-community/tree-sitter-tlaplus GitHub project? Description: "A tree-sitter grammar for TLA⁺ and PlusCal". Written in C. Explain what it does, its main use cases, key features, and who would benefit from using it.

Question is copied to clipboard — paste it after the AI opens.

How to clone tree-sitter-tlaplus

Clone via HTTPS

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

Clone via SSH

[email protected]:tlaplus-community/tree-sitter-tlaplus.git

Download ZIP

Download master.zip

Found an issue?

Report bugs or request features on the tree-sitter-tlaplus issue tracker:

Open GitHub Issues

Similar to tree-sitter-tlaplus

postcss marked parsedown PHP-Parser esprima sweet-core remarkable globalize dev-blog go body-parser psd.rb nom AngleSharp MailKit jsonparser posthtml nearley javaparser parse5 astexplorer lambda-view insect babylon JSqlParser duckling_old sh simplepie prettydiff oga