Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by tlaplus-community

A curated list of projects in awesome lists by tlaplus-community .

https://github.com/tlaplus-community/tree-sitter-tlaplus

A tree-sitter grammar for TLA⁺ and PlusCal

grammar parser pluscal tlaplus tree-sitter

Last synced: 21 Dec 2024

https://github.com/tlaplus-community/tlauc

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

Last synced: 25 Dec 2024

https://github.com/tlaplus-community/tlaplus-nvim-plugin

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

Last synced: 11 Dec 2024

https://github.com/tlaplus-community/tlaplus-tool-dev-examples

Examples to get you started creating TLA+ development tools

Last synced: 11 Dec 2024

https://github.com/tlaplus-community/tlaplusdocs

TLA+ reference documentation

Last synced: 11 Dec 2024

https://github.com/tlaplus-community/tlaplus-community.github.io

Demo website for web-based TLA⁺ community projects

Last synced: 11 Dec 2024