Archer: Agentic Code Review for LLVM PRs
☆25Jul 13, 2026Updated this week
Alternatives and similar repositories for Archer
Users that are interested in Archer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An LLM-based fuzzing framework for C compilers testing.☆25Dec 14, 2025Updated 7 months ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆22Mar 20, 2026Updated 3 months ago
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆61May 16, 2025Updated last year
- ☆38Aug 21, 2025Updated 10 months ago
- ☆55Apr 23, 2023Updated 3 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.
- MetaMut is a mutation operator generator to facilitate compiler fuzzing.☆32Dec 29, 2024Updated last year
- ☆13Apr 4, 2024Updated 2 years ago
- tool of llm-based indirect-call analyzer☆31Feb 18, 2025Updated last year
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- A framework for testing compilers' type checkers☆69Mar 17, 2026Updated 3 months ago
- An all-in-one solution for proving that a beacon block is a predecessor of another beacon block.☆18Sep 10, 2024Updated last year
- A bounded exhaustive testing tool☆23Jul 3, 2025Updated last year
- Random program generation based on semantic reification (PLDI'26)☆24Updated this week
- A fuzzer for ML compilers☆42Jun 12, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A Flexible and Efficient Proof Checker for SMT Solvers☆31Jul 9, 2026Updated last week
- ☆44Jan 15, 2026Updated 6 months ago
- Interview questions for Computer Science faculty jobs☆43Mar 13, 2024Updated 2 years ago
- https://ssa.to main page for ssa compiler utils☆59Mar 17, 2026Updated 3 months ago
- Examples, trickery, and self-documenting tomfoolery for interacting and working with go-ethereum including some breakage.☆22Nov 22, 2022Updated 3 years ago
- We propose a novel adversarial example generation technique (i.e., CODA) for testing deep code models. Its key idea is to use code differ…☆21Oct 8, 2023Updated 2 years ago
- A mutation tool for source and IR☆13Sep 6, 2018Updated 7 years ago
- An unofficial reference implementation of the C Minus Minus Compiler☆70Feb 3, 2025Updated last year
- experiments for IJON☆12Jul 1, 2019Updated 7 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.
- UB-aware interpreter for LLVM debugging☆48May 21, 2026Updated last month
- Progent: Securing AI Agents with Privilege Control☆39May 14, 2026Updated 2 months ago
- ☆40Nov 13, 2025Updated 8 months ago
- A benchmark suite containing 1 million compilable programs, mined from the largest public C repositories on GitHub.☆130Dec 18, 2019Updated 6 years ago
- Files related to the Pwn2Own Toronto 2023 exploit against the Xiaomi 13 Pro.☆32Oct 14, 2024Updated last year
- JSON-RPC endpoint proxy that dumps requests/responses for debugging☆31Aug 23, 2023Updated 2 years ago
- A tool for testing SMT solvers for incompleteness bugs☆17Oct 12, 2022Updated 3 years ago
- Implementation and datasets for "Training Language Models to Generate Quality Code with Program Analysis Feedback"☆41Jul 21, 2025Updated 11 months ago
- ☆36Apr 26, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A continuously updated collection of papers on agentic SE☆630Jul 2, 2026Updated 2 weeks ago
- Formally verified implementation of Alive in Lean☆43Jul 14, 2023Updated 3 years ago
- WASP was superseded by: https://github.com/OCamlPro/owi☆16Aug 28, 2024Updated last year
- Meta project around MLIR☆45Updated this week
- [ASE2024] Mutual Learning-Based Framework for Enhancing Robustness of Code Models via Adversarial Training☆11Sep 13, 2024Updated last year
- JIT compiler validation for JVMs via CSX/JoNM (SOSP'23)☆63Mar 9, 2025Updated last year
- LCOV tracefile parser/merger/filter in pure Rust.☆18Updated this week