1. BugZooKeep your bugs contained. A platform for studying historical software bugs.
2. VarCLRVarCLR: Variable Semantic Representation Pre-training via Contrastive Learning
3. genprog-codeGenProg: heuristic, GP-based automatic program repair for C.