Skip to content
@tlaplus-community

tlaplus-community

Pinned Loading

  1. tree-sitter-tlaplus tree-sitter-tlaplus Public

    A tree-sitter grammar for TLA⁺ and PlusCal

    C 57 10

  2. tlauc tlauc Public

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

    Rust 29 1

  3. tlaplus-nvim-plugin tlaplus-nvim-plugin Public

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

    Lua 10

  4. tlaplus-community.github.io tlaplus-community.github.io Public

    Demo website for web-based TLA⁺ community projects

    JavaScript

Repositories

Showing 10 of 10 repositories
  • simple-tla-checker Public

    Bare-bones interpreter & model-checker for a subset of the TLA+ language for the purpose of experimenting with bytecode interpretation.

    tlaplus-community/simple-tla-checker’s past year of commit activity
    Java 0 MIT 0 0 0 Updated Nov 8, 2024
  • tree-sitter-tlaplus Public

    A tree-sitter grammar for TLA⁺ and PlusCal

    tlaplus-community/tree-sitter-tlaplus’s past year of commit activity
    C 57 MIT 10 5 0 Updated Oct 29, 2024
  • tlauc Public

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

    tlaplus-community/tlauc’s past year of commit activity
    Rust 29 MIT 1 3 0 Updated Oct 21, 2024
  • tlaplus-nvim-plugin Public

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

    tlaplus-community/tlaplus-nvim-plugin’s past year of commit activity
    Lua 10 MIT 0 1 0 Updated Jun 6, 2024
  • tlaplus-community.github.io Public

    Demo website for web-based TLA⁺ community projects

    tlaplus-community/tlaplus-community.github.io’s past year of commit activity
    JavaScript 0 MIT 0 0 0 Updated Apr 5, 2024
  • chroma Public Forked from alecthomas/chroma

    A general purpose syntax highlighter in pure Go

    tlaplus-community/chroma’s past year of commit activity
    Go 0 MIT 415 0 0 Updated Nov 25, 2023
  • tree-sitter Public Forked from tree-sitter/tree-sitter

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

    tlaplus-community/tree-sitter’s past year of commit activity
    Rust 0 MIT 1,686 0 0 Updated Jan 3, 2023
  • nvim-treesitter Public Forked from nvim-treesitter/nvim-treesitter

    Nvim Treesitter configurations and abstraction layer

    tlaplus-community/nvim-treesitter’s past year of commit activity
    Scheme 0 Apache-2.0 918 0 0 Updated Jul 29, 2022
  • vscode-parse-tree Public Forked from cursorless-dev/vscode-parse-tree

    Accurate syntax coloring for VSCode using tree-sitter

    tlaplus-community/vscode-parse-tree’s past year of commit activity
    TypeScript 0 MIT 38 0 0 Updated Aug 16, 2021
  • tlaplusdocs Public

    TLA+ reference documentation

    tlaplus-community/tlaplusdocs’s past year of commit activity
    Python 1 0 1 0 Updated Apr 21, 2021

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…