Skip to content

solidity-developer/awesome-solidity

Awesome Solidity

Awesome

Smart contract programming language for the Ethereum Virtual Machine.

Contents

Official Resources

Learning Materials

  • CryptoZombies - Interactive Solidity tutorials through game development.
  • Ethernaut - Web3/Solidity security challenges.
  • Mastering Ethereum - Comprehensive open-source book covering Ethereum fundamentals, Solidity, and dapp development.
  • Solidity by Example - Concise code examples with explanations.

Developer Tools

Libraries & Frameworks

Security & Best Practices

Security Analysis Tools

  • OpenZeppelin Inspector - Open-source static analysis tool for Solidity.
  • Slither - Static analysis framework for Solidity.
  • Solhint - Solidity linter for security and style guide validations.
  • Surya - Utility for smart contract systems analysis.
  • Echidna - Property-based fuzzer for smart contracts.
  • Forta Network - Decentralized runtime security monitoring network for smart contracts.
  • Medusa - Parallel fuzzing engine for smart contracts with advanced techniques.
  • Certora Prover - Formal verification for smart contracts.
  • Olympix Static Analyzer - Free Solidity static analysis tool.
  • rocq-of-solidity - Formal verification for smart contracts with Rocq.

Gas Optimization

Upgradeable Contracts

Advanced Topics

Community & Support

Contributing

Your contributions are welcome! Please read our Contribution Guidelines and Code of Conduct.

Looking for your first contribution? Check our good first issues.

Follow on LinkedIn

Releases

No releases published

Packages

 
 
 

Contributors