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