Ecosyste.ms: Packages

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

github actions "formal-specification" keyword

awslabs/aws-lc-verification removed
Check SAW proofs to verify AWS-LC against Cryptol specs
Latest release: 8 months ago - 13 stars on GitHub
Related Keywords
aws 1 cryptography 1 formal-methods 1 formal-verification 1 security 1