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