← All repos

tlaplus-community/tree-sitter-tlaplus

View on GitHub ↗ ★ 80 C

A tree-sitter grammar for TLA⁺ and PlusCal

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2022-02-18 · latest 2026-05-14