Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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