A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
☆121Oct 19, 2026Updated 2 weeks ago
Alternatives and similar repositories for treereduce
Users that are interested in treereduce are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆86Oct 26, 2026Updated last week
- Simple grammar-based test case generator☆48Oct 19, 2026Updated 2 weeks ago
- A tool to help with minimization of Rust code☆71Oct 17, 2025Updated last year
- A new take on facet-reflect☆14Updated this week
- Some experiments with SMT solvers and GIMPLE IR☆83Updated this week
- 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.
- ☆16Mar 17, 2026Updated 7 months ago
- UB-free and deterministic rustc fuzzer☆108Dec 21, 2025Updated 10 months ago
- A framework for writing plugins that integrate with the Rust compiler☆178Jun 7, 2026Updated 4 months ago
- Super-parallel Python port of the C-Reduce☆353Sep 7, 2026Updated last month
- find crashes in the rust compiler & related tooling☆88Apr 15, 2024Updated 2 years ago
- A tool for testing C compilers automatically☆23Jan 24, 2016Updated 10 years ago
- Hierarchical Delta Debugging Framework☆60Aug 24, 2026Updated 2 months ago
- Shrinkray is a modern multi-format test-case reducer☆420Sep 14, 2026Updated last month
- UB-aware interpreter for LLVM debugging☆50Aug 26, 2026Updated 2 months 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.
- a model of MIR and the Rust type/trait system☆370Updated this week
- language-agnostic program reducer.☆216Oct 23, 2026Updated last week
- Pair your compilers up at The ABI Cafe!☆307Jun 15, 2025Updated last year
- Modular register allocator algorithms☆105Oct 4, 2022Updated 4 years ago
- Refinement Types for Rust☆934Updated this week
- A DSL and compiler for generating peephole optimizers for Cranelift☆64May 14, 2020Updated 6 years ago
- Creusot helps you prove your Rust code is correct.☆1,952Updated this week
- Define compiler intermediate representation usable by external tools☆130Aug 20, 2026Updated 2 months ago
- Analyze Rust crates without touching compiler internals☆471Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Jan 23, 2020Updated 6 years ago
- A translation validation framework for MLIR☆104Mar 19, 2025Updated last year
- "Generic generics" / higher-kinded APIs in stable Rust.☆21Sep 7, 2026Updated last month
- A precise specification for "Rust lite / MIR plus"☆1,014Jul 27, 2026Updated 3 months ago
- ☆29Jul 4, 2023Updated 3 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆66May 20, 2025Updated last year
- An LLVM IR dataset for data-driven compiler optimization research☆80Mar 17, 2026Updated 7 months ago
- sptr: The Strict Provenance Polyfill☆78Oct 7, 2023Updated 3 years ago
- ☆45Oct 4, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- C-Reduce, a C and C++ program reducer☆1,672Jun 1, 2024Updated 2 years ago
- A research compiler for exploring the Regionalized Value State Dependence Graph (RVSDG) intermediate representation☆82Updated this week
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆88May 3, 2023Updated 3 years ago
- Manual segmented stacks for Rust☆358Aug 19, 2026Updated 2 months ago
- ☆71Apr 26, 2026Updated 6 months ago
- ☆14Updated this week