Lib.rs

› 关键词 #unicode #tlaplus #specification #command-line #pluscal #query-api

#tla

  1. tlauc

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

    v1.0.2 650 #unicode #tla #command-line #specification #pluscal #tlaplus

  2. tree-sitter-tlaplus

    A tree-sitter grammar for TLA⁺ and PlusCal

    v1.3.6 180 #tree-sitter #syntax-tree #query-api #syntax-highlighting #specification-language #tla #parser-generator

  3. tla

    A CLI tool for compressing and encrypting a file or a directory. (tar, lzma, aes & des)

    v0.1.12 #aes #tar #directory #compressing #encrypting #cli-tool #lzma

  4. modelator

    A framework and tools for model-based testing

    v0.4.2 #testing #model #test-framework #model-based #abstraction #tla

    5. 尝试使用DuckDuckGo进行搜索。