1.OpenZeppelin / openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.ethereumsolidityevmsecuritysmart-contractsSolidityMIT27K total12K forks+223 starsfrom 27,118 · score 5.41
2.AmazingAng / WTF-SolidityWTF Solidity 极简入门教程,供小白们使用。Now supports English! 官网: https://wtf.academyairdropauctionblockchaindappdappserc20+11 moreSolidityOther license14K total2.4K forks+96 starsfrom 13,969 · score 4.57
3.crytic / building-secure-contractsGuidelines and training material to write secure smart contractsSolidityAGPL-3.02.5K total394 forks+18 starsfrom 2,464 · score 2.94
4.QuipNetwork / hashsigs-soliditySolidity contracts implementing hash based post quantum signaturesSolidityAGPL-3.011K total34 forks+8 starsfrom 11,197 · score 2.20
5.runtimeverification / verified-smart-contractsSmart contracts which are formally verifiedSolidityOther license749 total141 forks+3 starsfrom 746 · score 1.39
6.QuipNetwork / ethereum-sdkNo description provided by the repository host.SolidityAGPL-3.011K total74 forks+2 starsfrom 11,330 · score 1.10