Static Analyzer for Solidity
A fast and lightweight framework for creating decentralized agents
A Python-based development and testing framework for smart contracts
Pythonic Smart Contract Language for the EVM
Modular quant framework
Easily build, backtest and deploy your algo in just a few lines
Quant framework for stock
The Standard DAO Framework, including Whitepaper