1.OpenZeppelin / openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.ethereumsolidityevmsecuritysmart-contractsSolidityMIT27K total12K forks+36 starsfrom 27,304 · score 3.61
2.AmazingAng / WTF-SolidityWTF Solidity 极简入门教程,供小白们使用。Now supports English! 官网: https://wtf.academyairdropauctionblockchaindappdappserc20+11 moreSolidityOther license14K total2.4K forks+2 starsfrom 14,065 · score 1.10
3.runtimeverification / verified-smart-contractsSmart contracts which are formally verifiedSolidityOther license749 total141 forks+2 starsfrom 747 · score 1.10
4.crytic / building-secure-contractsGuidelines and training material to write secure smart contractsSolidityAGPL-3.02.5K total394 forks+1 starsfrom 2,481 · score 0.69