verification

Past 30d, sorted by best first, all versions

02/28	5	viperproject/Gobra v26.02 Automated, modular verifier for Go programs based on the Viper verification infrastructure. Scala 148☆ 1997d old #golang #go #scala #verification
03/17	4	argotorg/Sourcify sourcify-server@3.11... Source-code verification service for Ethereum smart contracts supporting Solidity and Vyper. TypeScript 910☆ 2521d old #javascript #typescript #solidity #ethereum #smart-contracts
03/02	4	argotorg/Sourcify sourcify-server@3.10... Source-code verification service for Ethereum smart contracts supporting Solidity and Vyper. TypeScript 910☆ 2521d old #javascript #typescript #solidity #ethereum #smart-contracts