Repositories list

• tlauc

  Public
  Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa

  Rust

  •

  MIT License

  •2•39•5•0•Updated Jul 22, 2025Jul 22, 2025

• tree-sitter-tlaplus

  Public
  A tree-sitter grammar for TLA⁺ and PlusCal

  tree-sitterpluscaltlaplus+ 2parsergrammar

  C

  •

  MIT License

  •14•67•8•0•Updated May 23, 2025May 23, 2025

• tlaplus-nvim-plugin

  Public
  In-place translation of TLA⁺ symbols into Unicode, in Neovim

  Lua

  •

  MIT License

  •1•13•1•0•Updated Mar 19, 2025Mar 19, 2025

• simple-tla-checker

  Public
  Simple TLA+ interpreter & model-checker for learning SANY's API & prototyping a bytecode interpreter.

  Java

  •

  MIT License

  •0•0•0•0•Updated Jan 3, 2025Jan 3, 2025

• tlaplus-community.github.io

  Public
  Demo website for web-based TLA⁺ community projects

  JavaScript

  •

  MIT License

  •0•0•0•0•Updated Apr 5, 2024Apr 5, 2024

• chroma

  Public
  A general purpose syntax highlighter in pure Go

  Go

  •

  MIT License

  •432•0•0•0•Updated Nov 25, 2023Nov 25, 2023

• tree-sitter

  Public
  Fork of tree-sitter supporting changes necessary for tree-sitter-tlaplus to work.

  Rust

  •

  MIT License

  •1.9k•0•0•0•Updated Jan 3, 2023Jan 3, 2023

• nvim-treesitter

  Public
  Nvim Treesitter configurations and abstraction layer

  Scheme

  •

  Apache License 2.0

  •1k•0•0•0•Updated Jul 29, 2022Jul 29, 2022

• vscode-parse-tree

  Public
  Accurate syntax coloring for VSCode using tree-sitter

  TypeScript

  •

  MIT License

  •42•0•0•0•Updated Aug 16, 2021Aug 16, 2021

• tlaplusdocs

  Public
  TLA+ reference documentation

  Python

  •

  Other

  •0•1•1•0•Updated Apr 21, 2021Apr 21, 2021