Ecosyste.ms: Repos

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

GitHub / kth-step / HolBA

Binary analysis in HOL

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kth-step%2FHolBA

Stars: 32
Forks: 20
Open Issues: 34

License: other
Language: Standard ML
Repo Size: 7.24 MB
Dependencies: 2

Created: over 6 years ago
Updated: 13 days ago
Last pushed: 9 days ago
Last synced: 8 days ago

Topics: armv8, binary-analysis, cortex-m0, hol4, proof, risc-v

Files
    Loading...
    Readme
    Loading...
    Dependencies
    .github/workflows/build.yaml actions