1.OpenZeppelin / openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.ethereumsolidityevmsecuritysmart-contractsSolidityMIT27K total12K forks+5 starsfrom 27,335 · score 1.79
2.runtimeverification / verified-smart-contractsSmart contracts which are formally verifiedSolidityOther license749 total142 forks+1 starsfrom 748 · score 0.69