SMACK Software Verifier and Verification Toolchain
7 daysStars44624h gain-Score0.0
Search
Find trending repositories by name or description.
8 results for “verifier”
RankRepository7 daysStars24h gainScore
eBPF verifier based on abstract interpretation
7 daysStars47224h gain0Score0.0
Gobra is an automated, modular verifier for Go programs, based on the Viper verification infrastructure.
7 daysStars18424h gain-Score0.0
Anvil is an experimental framework to build practical, formally verified, cluster management controllers.
7 daysStars19424h gain-Score0.0
did-verifier-backend
7 daysStars18024h gain-Score0.0
Kimi-Vendor-Verifier
7 daysStars19824h gain+2Score0.0
AI agent identity, signed credentials, delegated authority and portable governance evidence. Python core and offline verifier SDKs.
7 daysStars87124h gain-Score0.0
7 daysStars41424h gain-Score0.0