- tree-sitter-tlaplus VS tree-sitter-go-template
- tree-sitter-tlaplus VS inih
- tree-sitter-tlaplus VS tree-sitter-sql
- tree-sitter-tlaplus VS link-grammar
- tree-sitter-tlaplus VS tree-sitter-formula
- tree-sitter-tlaplus VS tree-sitter-cmake
- tree-sitter-tlaplus VS tree-sitter-rasi
- tree-sitter-tlaplus VS tree-sitter-gitcommit
- tree-sitter-tlaplus VS tree-sitter-embedded-template
- tree-sitter-tlaplus VS grove
Tree-sitter-tlaplus Alternatives
Similar projects and alternatives to tree-sitter-tlaplus
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
tree-sitter-tlaplus reviews and mentions
-
Writing a TLA⁺ tree-sitter grammar: my foray into free software
Not an emacs person myself (yet!) - Carl Thuringer created tla-mode that apparently uses the grammar: https://github.com/carlthuringer/tla-mode
Haven't tested it out myself. Happy to take any PRs if emacs needs its own set of query files; they would live in https://github.com/tlaplus-community/tree-sitter-tlaplus/tre... and they can be added to CI runs to ensure they stay in sync with changes to the parser.
- Happy 15th birthday Hacker News
Stats
tlaplus-community/tree-sitter-tlaplus is an open source project licensed under MIT License which is an OSI approved license.
The primary programming language of tree-sitter-tlaplus is C.