Modular quant framework
A free (libre) open source, mobile OS for Ethereum
Static Analyzer for Solidity
A Python-based development and testing framework for smart contracts
Python scripts for ETL (extract, transform and load) jobs for Ethereum
Security analysis tool for EVM bytecode. Supports smart contracts
Easily generate thousands of 3D models, images, and animation NFTs
Easily build, backtest and deploy your algo in just a few lines
Symbolic execution tool
A home for ethereum smart contracts
Raiden Network
Golem is creating a global market for computing power
Abu quantitative trading system (stocks, options, futures, bitcoin)
Quant framework for stock