Adds a parsers section

Signed-off-by: Federico Ponzi <[email protected]>
tlaplus · Feb 5, 2024 · fb2a10c · fb2a10c
1 parent f069531
commit fb2a10c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -71,6 +71,10 @@ TLA+ is a formal specification and verification language to help engineers desig
 * [Practical TLA+](https://www.apress.com/gp/book/9781484238288)
 * [TLA+ in Practice and Theory](https://pron.github.io/posts/tlaplus_part1) (freely available)
 
+### Parsers
+* [tree-sitter-tlaplus](https://github.com/tlaplus-community/tree-sitter-tlaplus): A tree-sitter grammar for TLA⁺ and PlusCal 
+* [A collection of Python tools for working with TLA+ specifications](https://github.com/johnyf/tlapy)
+
 ## TLA+ blog posts and articles