Ecosyste.ms: Packages

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

Top 5.4% forks on github actions

github actions : awslabs/aws-lc-verification

Check SAW proofs to verify AWS-LC against Cryptol specs

Registry - JSON
purl: pkg:githubactions/awslabs/aws-lc-verification
Keywords: aws, cryptography, formal-methods, formal-specification, formal-verification, security
License: Apache-2.0
Status: removed
Latest release: 7 months ago
Namespace: awslabs
Stars: 13 on GitHub
Forks: 12 on GitHub
Total Commits: 72
Committers: 15
Average commits per author: 4.8
Development Distribution Score (DDS): 0.722
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 3 days ago

    Loading...
    Readme
    Loading...