Data

Tools

Indexes

Applications

Experiments

Packages

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

modelator

A framework and tools for model-based testing.

Ecosystem
crates.io
Latest Release
0.4.2
about 4 years ago
Versions
10
Downloads
38,618 total
Dependent Packages
2
Dependent Repos
14
    Loading...
    Readme
    Loading...
    Links
    Registry crates.io
    Source Repository
    Docs Documentation
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:cargo/modelator
    spec
    License Apache-2.0
    First Release almost 5 years ago
    Last Synced about 22 hours ago
    Keywords
    testing model-based tla model abstraction model-based-testing model-checking rust tlaplus
    Repository
    Stars 60 on GitHub
    Forks 5 on GitHub
    Commits 414
    Committers 17
    Avg per Author 24.353
    DDS 0.732
    commits.ecosyste.ms
    repos.ecosyste.ms
    Rankings on crates.io
    Downloads Top 9.6%
    Dependent repos Top 7.1%