1.AmazingAng / WTF-SolidityTranslatedWTF Solidity minimalist introductory tutorial, for beginners. Now supports English! Official website: https://wtf.academyairdropauctionblockchaindappdappserc20+11 moreSolidityOther license14K total2.4K forks+94 starsfrom 13,970 · score 4.55
2.runtimeverification / verified-smart-contractsSmart contracts which are formally verifiedSolidityOther license749 total142 forks+3 starsfrom 746 · score 1.39