1.OpenZeppelin / openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.ethereumsolidityevmsecuritysmart-contractsSolidityMIT27K total12K forks+5 starsfrom 27,336 · score 1.79
2.crytic / building-secure-contractsGuidelines and training material to write secure smart contractsSolidityAGPL-3.02.5K total394 forks+1 starsfrom 2,481 · score 0.69
3.runtimeverification / verified-smart-contractsSmart contracts which are formally verifiedSolidityOther license749 total141 forks+1 starsfrom 748 · score 0.69