☆15Sep 17, 2025Updated 6 months ago
Alternatives and similar repositories for PyTER
Users that are interested in PyTER are comparing it to the libraries listed below
Sorting:
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 9 months ago
- Template-based Automated Program Repair☆54Feb 7, 2024Updated 2 years ago
- Neural Program Repair with Execution-based Backpropagation http://arxiv.org/pdf/2105.04123☆25Dec 19, 2022Updated 3 years ago
- Artifact for TOSEM Submission: GiantRepair☆13Jun 26, 2024Updated last year
- This is the repository for the paper titled "ThinkRepair: Self-Directed Automated Program Repair" accepted by ISSTA'24.☆30Jan 10, 2026Updated 2 months ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- COSE 312 Compilers☆38May 3, 2023Updated 2 years ago
- ☆16Feb 19, 2026Updated last month
- Program Transformation Tool for Java Methods☆11Sep 16, 2022Updated 3 years ago
- AexPy /eikspai/ is Api EXplorer in PYthon for detecting API breaking changes in Python packages.☆26Jun 10, 2024Updated last year
- ☆12Jun 27, 2025Updated 8 months ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 4 years ago
- A GUI proxy client in GTK+3. Based on Clash.☆14Feb 12, 2019Updated 7 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Jun 8, 2021Updated 4 years ago
- ☆11May 10, 2025Updated 10 months ago
- This is the official implement for the paper 'Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases''☆14Oct 4, 2023Updated 2 years ago
- ☆11Sep 28, 2022Updated 3 years ago
- a safety verifier for Solidity smart contracts☆96Jan 17, 2023Updated 3 years ago
- For our ICSE21 paper "CURE: Code-Aware Neural Machine Translation for Automatic Program Repair" by Nan Jiang, Thibaud Lutellier, and Lin …☆58Dec 8, 2022Updated 3 years ago
- Refactory: Re-factoring based Program Repair applied to Programming Assignments☆40Aug 16, 2022Updated 3 years ago
- Verifying the SCION architecture using Gobra☆11Mar 13, 2026Updated last week
- Equivalent and redundant mutant detection with e-graphs!!!☆13Jun 14, 2023Updated 2 years ago
- This repo is for our submission for ICSE 2025.☆20Jun 12, 2024Updated last year
- Use cases for ShadeMap API☆12Jun 10, 2024Updated last year
- ☆19Nov 12, 2025Updated 4 months ago
- Reject membrane, embrace monke☆10Jan 7, 2022Updated 4 years ago
- ☆12Jun 10, 2025Updated 9 months ago
- 台大Coursera 机器学习基石 林轩田☆15Nov 23, 2018Updated 7 years ago
- A Micro-benchmarking Framework for Python Type Inference Tools☆38Nov 13, 2025Updated 4 months 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" (…☆15Feb 12, 2026Updated last month
- Linq-like functions for Java Arraylist☆22Aug 1, 2019Updated 6 years ago
- ☆14Nov 7, 2025Updated 4 months ago
- ISLearn is a tool for mining constraints on string inputs based on context-free grammars and the ISLa specification language.☆16Mar 2, 2026Updated 2 weeks ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- Benchmark collection for analysis. The idea is to have a collection of projects in several languages as well as various sast applications…☆12Jan 7, 2021Updated 5 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
- [ICSE'25] Aligning the Objective of LLM-based Program Repair☆23Mar 8, 2025Updated last year
- ☆16Jan 5, 2022Updated 4 years ago