1.OpenZeppelin / openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.ethereumsolidityevmsecuritysmart-contractsSolidityMIT27K total12K forks+452 starsfrom 26,889 · score 6.12
2.AmazingAng / WTF-SolidityTranslatedWTF Solidity minimalist introductory tutorial, for beginners. Now supports English! Official website: https://wtf.academyairdropauctionblockchaindappdappserc20+11 moreSolidityOther license14K total2.4K forks+224 starsfrom 13,841 · score 5.42
3.crytic / building-secure-contractsGuidelines and training material to write secure smart contractsSolidityAGPL-3.02.5K total394 forks+42 starsfrom 2,440 · score 3.76
4.QuipNetwork / hashsigs-soliditySolidity contracts implementing hash based post quantum signaturesSolidityAGPL-3.011K total34 forks+13 starsfrom 11,192 · score 2.64
5.QuipNetwork / ethereum-sdkThe repository host gives no description.SolidityAGPL-3.011K total74 forks+7 starsfrom 11,325 · score 2.08
6.runtimeverification / verified-smart-contractsSmart contracts which are formally verifiedSolidityOther license749 total141 forks+7 starsfrom 742 · score 2.08