A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs
☆22Mar 4, 2026Updated this week
Alternatives and similar repositories for llvm-apr-benchmark
Users that are interested in llvm-apr-benchmark are comparing it to the libraries listed below
Sorting:
- UB-aware interpreter for LLVM debugging☆44Feb 13, 2026Updated 3 weeks ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- scripts for testing TiDB☆10Feb 4, 2026Updated last month
- Terribly incorrect and incomplete AOT compiler for mRuby. Source code for the LLVM Social Berlin #20☆10Aug 25, 2022Updated 3 years ago
- Verifying the optimization phases of the GraalVM compiler☆14Jan 13, 2025Updated last year
- Most influential papers in programming languages☆59Jan 20, 2025Updated last year
- Do integer arithmetic with fsub.☆35Feb 7, 2026Updated last month
- ☆23Mar 21, 2024Updated last year
- PL/SE conference deadline countdowns☆19Nov 23, 2020Updated 5 years ago
- A bounded exhaustive testing tool☆22Jul 3, 2025Updated 8 months ago
- Lean 4 as a scripting language in Houdini☆21Mar 13, 2024Updated last year
- A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.☆45Jan 22, 2026Updated last month
- COMPASS CTF team wiki pages☆21May 19, 2024Updated last year
- A JIT compiler validator for JVMs via CSX/JoNM introduced in "Validating JIT Compilers via Compilation Space Exploration" (SOSP'23)☆62Mar 9, 2025Updated last year
- CS315 Lab & Assignment in SUSTech☆22Dec 14, 2021Updated 4 years ago
- The SysY compiler competition. A backup before official path gets set up.☆47Aug 20, 2025Updated 6 months ago
- ☆21Nov 10, 2019Updated 6 years ago
- OpenCL extension for csmith.☆27Nov 27, 2025Updated 3 months ago
- ULPatch is open source user space live patch tool.☆13Jan 11, 2026Updated last month
- A randomized program fuzzer for the Rust programming language☆64Jul 21, 2023Updated 2 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆70Feb 3, 2025Updated last year
- FoRTE-Research's fuzzing benchmarks☆57Mar 12, 2019Updated 6 years ago
- Java decompilation & deobfuscation lab - dockerized toolset☆15Mar 1, 2026Updated last week
- My personal notes ✍️☆35Dec 20, 2023Updated 2 years ago
- ☆45Apr 10, 2021Updated 4 years ago
- ☆14Aug 4, 2021Updated 4 years ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- Smart Sessions with EIP-7702 EOA☆16Nov 15, 2024Updated last year
- CERE: Codelet Extractor and REplayer☆40Sep 27, 2023Updated 2 years ago
- Compiler-instrumented app tracing.☆52May 17, 2024Updated last year
- Yet Another Random Program Generator☆545Nov 24, 2025Updated 3 months ago
- Neon lights in the night tonight and stars that shine in the open sky☆46Dec 17, 2023Updated 2 years ago
- A conda-smithy repository for ctng-compiler-activation.☆14Feb 12, 2026Updated 3 weeks ago
- The shared world article☆10Mar 4, 2022Updated 4 years ago
- ZKsync support for alloy☆16Jul 14, 2025Updated 7 months ago
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Mar 3, 2015Updated 11 years ago
- EWDK C++ toolchain for bazel☆11Feb 1, 2026Updated last month
- Implementation of Butler-Portugal algorithm for tensor canonicalization in Rust☆18Feb 12, 2026Updated 3 weeks ago
- greenforce LLVM clang compiled with LTO, BOLT, and PGO.☆10Mar 2, 2026Updated last week