Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
github actions "formal-verification" keyword
awslabs/aws-lc-verification removed
Check SAW proofs to verify AWS-LC against Cryptol specsLatest release: 8 months ago - 13 stars on GitHub
viperproject/gobra-action v22.10.2
Verify your Go project with Gobra9 versions - Latest release: over 1 year ago - 8 dependent repositories - 2 stars on GitHub