Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / cksystemsgroup / monster

Monster is a symbolic execution engine for 64-bit RISC-U code

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cksystemsgroup%2Fmonster

Stars: 9
Forks: 3
Open Issues: 9

License: mit
Language: Rust
Repo Size: 2.75 MB
Dependencies: 165

Created: almost 4 years ago
Updated: about 2 months ago
Last pushed: 7 days ago
Last synced: 7 days ago

Commit Stats

Commits: 282
Authors: 17
Mean commits per author: 16.59
Development Distribution Score: 0.514
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/cksystemsgroup/monster

Topics: monster, symbolic-execution-engine

Files
    Loading...
    Readme
    Loading...
    Dependencies
    utils/Cargo.toml cargo
    .github/workflows/benchmark.yml actions
    .github/workflows/book.yml actions
    .github/workflows/release.yml actions
    .github/workflows/test.yml actions
    Cargo.toml cargo
    examples/Cargo.toml cargo
    Cargo.lock cargo
    examples/Cargo.lock cargo