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