GitHub repository: manifoldfinance/echidna
Primary language: Solidity
Description: Ethereum smart contract fuzzer