A fast and lightweight framework for creating decentralized agents
Pythonic Smart Contract Language for the EVM
Security analysis tool for EVM bytecode. Supports smart contracts
A Python-based development and testing framework for smart contracts
A coin that can be mined with almost everything
AI‑powered signals, risk analysis, and automated trading bot
Advanced AI-Powered Python Crypto Trading Bot 2026 - Free Backtesting
A home for ethereum smart contracts
Symbolic execution tool
Raiden Network
The Standard DAO Framework, including Whitepaper
An open source blockchain written from scratch in Python.