Showing results for verified
GitHub Repo
https://github.com/trufflesecurity/trufflehog
trufflesecurity/trufflehog
Find, verify, and analyze leaked credentials
GitHub Repo
https://github.com/runtimeverification/verified-smart-contracts
runtimeverification/verified-smart-contracts
Smart contracts which are formally verified
GitHub Repo
https://github.com/BillionsNetwork/verified-agent-identity
BillionsNetwork/verified-agent-identity
No repository description available.
GitHub Repo
https://github.com/verus-lang/verus
verus-lang/verus
Verified Rust for low-level systems code
GitHub Repo
https://github.com/AbsInt/CompCert
AbsInt/CompCert
The CompCert formally-verified C compiler
GitHub Repo
https://github.com/AuditProject/truecrypt-verified-mirror
AuditProject/truecrypt-verified-mirror
Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
GitHub Repo
https://github.com/Azure/Azure-Verified-Modules
Azure/Azure-Verified-Modules
Azure Verified Modules (AVM) is an initiative to consolidate and set the standards for what a good Infrastructure-as-Code module looks like. Modules will then align to these standards, across languages (Bicep, Terraform etc.) and will then be classified as AVMs and available from their respective language specific registries.
GitHub Repo
https://github.com/Cardano-NFTs/policyIDs
Cardano-NFTs/policyIDs
CNFTs Verified Policy Database
GitHub Repo
https://github.com/minswap/verified-tokens