Woke is a Python-based development and testing framework for Solidity
Enforce Data Contracts
A Python-based development and testing framework for smart contracts
Document Index for Vectorless, Reasoning-based RAG
Static Analyzer for Solidity
Security analysis tool for EVM bytecode. Supports smart contracts
Python scripts for ETL (extract, transform and load) jobs for Ethereum
A home for ethereum smart contracts
Symbolic execution tool
Raiden Network