☆15Sep 17, 2025Updated 5 months ago
Alternatives and similar repositories for PyTER
Users that are interested in PyTER are comparing it to the libraries listed below
Sorting:
- This is the tool released in ICSE 2024 paper "Domain Knowledge Matters: Improving Prompts with Fix Templates for Repairing Python Type Er…☆17Jun 5, 2023Updated 2 years ago
- This repo is for anonymized review. We will keep updating and optimizing this program.☆15Oct 18, 2024Updated last year
- Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123☆25Dec 19, 2022Updated 3 years ago
- Template-based Automated Program Repair☆54Feb 7, 2024Updated 2 years ago
- repo of "SelfAPR: Self-supervised Program Repair with Test Execution Diagnostics" (ASE 22) https://oadoi.org/10.1145/3551349.3556926☆27Mar 4, 2024Updated last year
- This is the repository for the paper titled "ThinkRepair: Self-Directed Automated Program Repair" accepted by ISSTA'24.☆29Jan 10, 2026Updated last month
- BugsInPy: Benchmarking Bugs in Python Projects☆124Feb 10, 2026Updated 2 weeks ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Jun 8, 2021Updated 4 years ago
- ☆12Nov 20, 2024Updated last year
- source files for GloBI website☆10Feb 17, 2026Updated last week
- Verifying the SCION architecture using Gobra☆11Feb 9, 2026Updated 2 weeks ago
- COSE 312 Compilers☆38May 3, 2023Updated 2 years ago
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 9 months ago
- ☆12Jun 10, 2025Updated 8 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Reject membrane, embrace monke☆10Jan 7, 2022Updated 4 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- Use cases for ShadeMap API☆12Jun 10, 2024Updated last year
- A basic repository for a Clang-based tool, with CMake integration.☆10Sep 22, 2023Updated 2 years ago
- Code of our paper "Method-Level Bug Severity Prediction using Source Code Metrics and LLMs" which is accepted to ISSRE 2023.☆10Nov 12, 2023Updated 2 years ago
- Artifact for TOSEM Submission: GiantRepair☆12Jun 26, 2024Updated last year
- Create a cool glass-like pattern using Voronoi cells☆11Apr 14, 2021Updated 4 years ago
- Program Transformation Tool for Java Methods☆11Sep 16, 2022Updated 3 years ago
- ☆12Jun 27, 2025Updated 8 months ago
- 台大Coursera 机器学习基石 林轩田☆15Nov 23, 2018Updated 7 years ago
- Reaction training game for Super Smash Bros. Melee☆13Dec 7, 2022Updated 3 years ago
- ☆11Sep 28, 2022Updated 3 years ago
- Compile circom code to llvm partially☆12Feb 14, 2023Updated 3 years ago
- Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (…☆14Feb 12, 2026Updated 2 weeks ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 15, 2024Updated last year
- Wordle clone in clojurescript☆17Feb 7, 2022Updated 4 years ago
- ☆16Feb 19, 2026Updated last week
- Type Error Feedback via Analytic Program Repair☆16Mar 25, 2023Updated 2 years ago
- Datalog Engines OPtimization Tester.☆13Jan 18, 2024Updated 2 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆57Dec 8, 2022Updated 3 years ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Feb 13, 2023Updated 3 years ago
- ☆12Dec 29, 2022Updated 3 years ago
- 本人为同济大学21级数据科学与大数据技术专业本科生，于2023年春季前往台湾大学电机资讯学院资讯工程学系交换一个学期，以下是我学习os专业课的作业。☆11Jun 15, 2023Updated 2 years ago