Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

specl-syntax

Lexer, parser, and AST for the Specl specification language

Ecosystem
crates.io
Latest Release
0.1.0
27 days ago
Versions
1
Downloads
59 total
    Loading...
    Readme
    Loading...
    Links
    Registry crates.io
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:cargo/specl-syntax
    spec
    License AGPL-3.0-or-later
    First Release 27 days ago
    Last Synced 3 days ago
    Keywords
    concurrent-systems distributed-systems formal-verification model-checking rust specification-language tla-plus
    Repository
    Stars 8 on GitHub
    Forks 0 on GitHub
    repos.ecosyste.ms