Leaderboard of Frontier Models for Program Repair https://repairbench.github.io/
☆11Oct 26, 2025Updated last year
Alternatives and similar repositories for repairbench
Users that are interested in repairbench are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Automatic Repair Framework with LLMs ❤️ https://arxiv.org/pdf/2409.18952☆22Updated this week
- RepairLLaMA: Efficient Representations and Fine-Tuned Adapters for Program Repair http://arxiv.org/pdf/2312.15698☆44Sep 5, 2025Updated last year
- ⚙️ A tool for collecting executable code datasets with GitHub Actions ⚙️☆23Updated this week
- The RunBugRun dataset of executable bugs☆27Sep 24, 2025Updated last year
- A Reproducible Benchmark of Recent Java Bugs☆54Aug 19, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆24Nov 19, 2024Updated last year
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
- ☆10Oct 17, 2013Updated 13 years ago
- Common definitions for WriteVTK.jl and ReadVTK.jl packages☆10Oct 14, 2026Updated 2 weeks ago
- Agent fixing SWE bench issues☆18Aug 24, 2026Updated 2 months ago
- ☆12Mar 24, 2023Updated 3 years ago
- Sharable Grakn knowledge graphs☆13Dec 28, 2022Updated 3 years ago
- [NeurIPS 2025] QiMeng-MuPa: Mutual-Supervised Learning for Sequential-to-Parallel Code Translation☆12Nov 3, 2025Updated 11 months ago
- Static code analysis for Java☆12Apr 15, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CodeRosetta: Pushing the Boundaries of Unsupervised Code Translation for Parallel Programming☆11Nov 18, 2024Updated last year
- ☆20Nov 6, 2019Updated 6 years ago
- Read-only mirror of https://github.com/openjdk/jdk17u/☆12Updated this week
- ☆10Feb 8, 2021Updated 5 years ago
- Contains an implementation of ObjectWeb ASM's SimpleVerifier which does not load classes.☆11Jul 12, 2021Updated 5 years ago
- Scientific Computing and (Big) Data Analysis with Julia☆12Feb 26, 2024Updated 2 years ago
- For building the world's largest dataset of GPU kernels.☆12Jul 17, 2026Updated 3 months ago
- ☆13Jul 21, 2026Updated 3 months ago
- ☆18Jun 19, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code search model based the self-attention☆12Oct 16, 2020Updated 6 years ago
- Final project for the class "Deep Learning Systems Algorithms and Implementation" from CMU, where we try to make needle work with Apple M…☆10Jan 8, 2023Updated 3 years ago
- study pytorch☆15Oct 14, 2018Updated 8 years ago
- AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766☆71Feb 25, 2025Updated last year
- `juliac` in action☆14Mar 6, 2025Updated last year
- A lightweight Python tool designed to perform SYN port scans, with support for using spoofed source IP addresses as a deception technique…☆13Mar 5, 2025Updated last year
- Using multiple LLMs for ensemble Forecasting☆16Jan 17, 2024Updated 2 years ago
- this is an integration of all the Spring Native hints that don't yet have another home☆15Aug 24, 2026Updated 2 months ago
- GitHub Actions to deploy to Azure Spring Cloud☆11Sep 25, 2023Updated 3 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- KGym - A platform to run hundreds to thousands of ML4Linux kernel experiments at scale☆17Nov 8, 2025Updated 11 months ago
- ☆13May 22, 2023Updated 3 years ago
- SignalR library in Go☆11Sep 9, 2017Updated 9 years ago
- A practical example showing how to develop your own custom Spring Cloud Stream Binder☆11May 22, 2022Updated 4 years ago
- training BART from scratch☆12Dec 31, 2021Updated 4 years ago
- NodeJS package to programmatically interact with an Easy Equities account.☆11Apr 3, 2024Updated 2 years ago
- Java file encryption utility☆10Aug 6, 2019Updated 7 years ago