GitHub repository: zhassan-aws/bolero
Description: fuzz and property testing front-end for Rust