bkrem / awesome-solidity

⟠ A curated list of awesome Solidity resources, libraries, tools and more

esbmc / esbmc

The efficient SMT-based context-bounded model checker (ESBMC)

softstack / Smart-Contract-Security-Audits

Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos and more

AmazingAng / WTF-Solidity

WTF Solidity 极简入门教程，供小白们使用。Now supports English! 官网: https://wtf.academy