GitHub repository: rappie/fuzz-vs-fv
Primary language: TypeScript
Description: Solution to Certora's Fuzzing Challenge