☆18Sep 12, 2019Updated 6 years ago
Alternatives and similar repositories for ManyBugs
Users that are interested in ManyBugs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- evolution of extant software☆24Jan 24, 2018Updated 8 years ago
- Data and scripts extending the ManyBugs and Defects4J benchmarks for evaluating applicability of automated program repair techniques.☆16Dec 10, 2017Updated 8 years ago
- NeonGoby alias analysis checker☆15Jul 2, 2013Updated 12 years ago
- The C parser for GumTree☆15Sep 25, 2020Updated 5 years ago
- A Python library for easy and fast program transformation/repair☆15Oct 26, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- blog☆17Apr 27, 2020Updated 6 years ago
- 将星空系列汉字编码方案挂载到小小输入法。☆13Updated this week
- Template-based Automated Program Repair☆55Feb 7, 2024Updated 2 years ago
- Bugs.jar: A Large-scale, Diverse Dataset of Bugs for Java Program Repair☆62Feb 7, 2018Updated 8 years ago
- 一款高效的视频总结的浏览器插件。☆11Nov 2, 2024Updated last year
- ☆18Oct 3, 2024Updated last year
- GRu4Rec in TensorFlow☆14Apr 11, 2018Updated 8 years ago
- Automated program repair bibliography, tools and benchmarks.☆84Apr 7, 2025Updated last year
- Automatic Repair Framework that abstract repair tools and bug benchmarks☆72May 1, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ChangeScribe is an Eclipse plugin for generating commit messages (a.k.a., commit logs, commit notes) automatically. ChangeScribe uses as …☆10Jan 26, 2023Updated 3 years ago
- ☆13Jul 6, 2023Updated 2 years ago
- Repo used to share the demos from the "Seeking SRE" (O'Reilly Media, 2018) used in D.C. Vienna 2017☆14Sep 27, 2017Updated 8 years ago
- Defect prediction of java projects using neural networks.☆15Jun 28, 2017Updated 9 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 3 years ago
- ☆14Jul 18, 2022Updated 3 years ago
- GenProg: heuristic, GP-based automatic program repair for C.☆102Sep 1, 2021Updated 4 years ago
- ☆19May 11, 2024Updated 2 years ago
- Proxy to synchronize padherder.com with Puzzle and Dragons☆23May 31, 2018Updated 8 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.
- Python General Framework for Genetic Improvement [Version 2]☆30Nov 28, 2023Updated 2 years ago
- ☆15Dec 8, 2022Updated 3 years ago
- For our ISSTA20 paper "CoCoNuT: Combining Context-Aware Neural Translation Models using Ensemble for Program Repair" by Thibaud Lutellier…☆62Mar 30, 2023Updated 3 years ago
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Dec 10, 2020Updated 5 years ago
- predicate scientific program performance model using llvm☆27Jun 12, 2015Updated 11 years ago
- 「Language Server Protocolの仕様 及び実装方法」のサポートリポジトリ☆21Oct 1, 2023Updated 2 years ago
- Integrated database of papers and programme committee composition for software engineering conferences.☆35Apr 28, 2023Updated 3 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Jun 5, 2020Updated 6 years ago
- GrayC: Greybox Fuzzing of Compilers and Analysers for C☆62Jan 28, 2026Updated 5 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆104Mar 14, 2026Updated 3 months ago
- Replication package of a paper "Large Language Models are Few-shot Testers: Exploring LLM-based General Bug Reproduction"☆29Sep 7, 2023Updated 2 years ago
- ☆26Oct 2, 2023Updated 2 years ago
- ⚙️ Program slicer based on the Mozilla Lithium Tool for Java (also dubbed as Tandem-FL).☆11Oct 21, 2024Updated last year
- ☆35Nov 11, 2021Updated 4 years ago
- A toy implementation of 'Stack Guard' on top of the LLVM compiler toolchain☆23Jul 1, 2017Updated 8 years ago
- M.H.S algorithms encoded☆12Jun 14, 2016Updated 10 years ago