54 Open source projects that are alternatives of or similar to tree-sitter-tlaplus

TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus

TOML grammar for tree-sitter

Swift wrappers for the tree-sitter incremental parsing system

A light-weight, extendable, high level, universal code parser built on top of tree-sitter

✨ Legesher's Python grammar for Tree-Sitter 🌳

A modern text editor for the terminal written in Rust

HTML grammar for Tree-sitter

tree-sitter grammar for emacs lisp

TypeScript grammar for tree-sitter

Treesitter playground integrated into Neovim

Julia grammar for Tree-sitter

Convert TLA+ output (and values) into JSON

Haskell grammar for tree-sitter.

Golang bindings for tree-sitter https://github.com/tree-sitter/tree-sitter

ananthakumaran.in/tree-sitter-elixir

A script for running TLA+/TLC from the command line

Curated list of awesome tree-sitter language grammars, bindings, tools, libraries

Java grammar for tree-sitter

Tree-sitter grammar for comment tags like TODO, FIXME(user).

Tree-sitter parser for regular expressions

A dark color scheme for Neovim with support for LSP, Treesitter. This mirror is deprecated. Use the repo at https://sr.ht/~novakane/kosmikoa.nvim/

CSS grammar for Tree-sitter

Different TLA+ specifications, mostly for learning purposes

A tree-sitter grammar for HCL (HashiCorp Configuration Language), used by projects such as Terraform.

Standalone tree sitter bindings for the Lua language

Lua grammar for tree-sitter.

ReasonML bindings for tree-sitter

Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)

A static web application to explore and animate a TLA+ state graph.

Swift bindings for the tree-sitter parsing library

CLI tool for creating and testing tree-sitter parsers

TLA+ tools for Emacs

Haskell bindings for tree-sitter

Rust grammar for tree-sitter

An Emacs dynamic module exposing tree-sitter.

PHP grammar for tree-sitter

An incremental parsing system for programming tools

a syntax-aware diff 🟥🟩

Kotlin grammar for Tree-Sitter

YAML grammar for tree-sitter

Treesitter powered spellchecker

ReScript parser for Tree-Sitter

🌲 Structural editing in Emacs for any™ language!

SQL syntax highlighting for tree-sitter

Vue grammar for tree-sitter

No description or website provided.

Experiment in Nix formatting

Verilog grammar for tree-sitter

Yet another tree-sitter powered indent plugin for Neovim.

Ruby bindings to tree-sitter

A markdown grammar for tree-sitter

Rust bindings to Tree-sitter

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Specifying and Verifying CRDT Protocols using TLA+