1.OpenZeppelin / openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.ethereumsolidityevmsecuritysmart-contractsSolidityMIT27K total12K forks+448 starsfrom 26,892 · score 6.11
2.QuipNetwork / hashsigs-soliditySolidity contracts implementing hash based post quantum signaturesSolidityAGPL-3.011K total34 forks+12 starsfrom 11,192 · score 2.56
3.runtimeverification / verified-smart-contractsSmart contracts which are formally verifiedSolidityOther license749 total142 forks+7 starsfrom 742 · score 2.08
4.QuipNetwork / ethereum-sdkThe repository host gives no description.SolidityAGPL-3.011K total74 forks+6 starsfrom 11,325 · score 1.95