tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal (by tlaplus-community)

Tree-sitter-tlaplus Alternatives

Similar projects and alternatives to tree-sitter-tlaplus

  1. inih

    Simple .INI file parser in C, good for embedded systems

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. tree-sitter-go-template

    Golang template grammar for tree-sitter

  4. tree-sitter-embedded-template

    Tree-sitter grammar for embedded template languages like ERB, EJS

  5. grove

    Universal AST parser built on Tree-sitter (by mintlify)

  6. tree-sitter-rasi

    RASI grammar for tree-sitter

  7. Stream

    Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.

    Stream logo
  8. tree-sitter-gitcommit

    A tree-sitter grammar for gitcommit messages

  9. tla-mode

    An Emacs major mode for editing TLA+ specifications.

  10. tree-sitter-cmake

    A Tree-sitter parser for CMake

  11. tree-sitter-sql

    SQL syntax highlighting for tree-sitter (by m-novikov)

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better tree-sitter-tlaplus alternative or higher similarity.

tree-sitter-tlaplus discussion

Log in or Post with

tree-sitter-tlaplus reviews and mentions

Posts with mentions or reviews of tree-sitter-tlaplus. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-01-12.

Stats

Basic tree-sitter-tlaplus repo stats
2
67
5.6
about 2 months ago

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that C is
the 6th most popular programming language
based on number of references?