Pinned Loading

1. tlaplus-community/tree-sitter-tlaplus tlaplus-community/tree-sitter-tlaplus Public

   A tree-sitter grammar for TLA⁺ and PlusCal

   C 73 15

2. tlaplus-community/tlauc tlaplus-community/tlauc Public

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

   Rust 40 2

3. gravitational/rbac-linter gravitational/rbac-linter Public

   Python 33 6

4. Z3Prover/FirewallChecker Z3Prover/FirewallChecker Public

   A self-contained firewall checker

   C# 108 13