1.OpenZeppelin / openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.ethereumsolidityevmsecuritysmart-contractsSolidityMIT27K total12K forks+98 starsfrom 27,243 · score 4.60
2.QuipNetwork / hashsigs-soliditySolidity contracts implementing hash based post quantum signaturesSolidityAGPL-3.011K total34 forks+4 starsfrom 11,201 · score 1.61
3.crytic / building-secure-contractsGuidelines and training material to write secure smart contractsSolidityAGPL-3.02.5K total394 forks+3 starsfrom 2,479 · score 1.39
4.runtimeverification / verified-smart-contractsSmart contracts which are formally verifiedSolidityOther license749 total141 forks+3 starsfrom 746 · score 1.39
5.QuipNetwork / ethereum-sdkThe repository host gives no description.SolidityAGPL-3.011K total74 forks+1 starsfrom 11,331 · score 0.69