A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
☆109Mar 2, 2026Updated this week
Alternatives and similar repositories for treereduce
Users that are interested in treereduce are comparing it to the libraries listed below
Sorting:
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆82Updated this week
- Simple grammar-based test case generator☆40Feb 23, 2026Updated last week
- A tool to help with minimization of Rust code☆67Oct 17, 2025Updated 4 months ago
- Some experiments with SMT solvers and GIMPLE IR☆79Updated this week
- UB-aware interpreter for LLVM debugging☆44Feb 13, 2026Updated 2 weeks ago
- A tool for testing C compilers automatically☆22Jan 24, 2016Updated 10 years ago
- Super-parallel Python port of the C-Reduce☆321Updated this week
- Instruction decoder microbenchmark suite☆11Oct 31, 2017Updated 8 years ago
- SIMDized check which bytes are in a set☆28Oct 21, 2018Updated 7 years ago
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns☆34Jul 8, 2024Updated last year
- a model of MIR and the Rust type/trait system☆329Feb 25, 2026Updated last week
- ☆30Jul 4, 2023Updated 2 years ago
- Spatial layout specifications for memory management systems.☆19Sep 2, 2020Updated 5 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- Pair your compilers up at The ABI Cafe!☆287Jun 15, 2025Updated 8 months ago
- UB-free and deterministic rustc fuzzer☆98Dec 21, 2025Updated 2 months ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- A translation validation framework for MLIR☆94Mar 19, 2025Updated 11 months ago
- Refinement Types for Rust☆836Updated this week
- Modular register allocator algorithms☆105Oct 4, 2022Updated 3 years ago
- C-Reduce, a C and C++ program reducer☆1,644Jun 1, 2024Updated last year
- A randomized program fuzzer for the Rust programming language☆64Jul 21, 2023Updated 2 years ago
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Jan 23, 2020Updated 6 years ago
- Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.☆80Updated this week
- Rutgers APL correctly rounded math library☆32Mar 11, 2021Updated 4 years ago
- Pure functional programming with whole-program mutability inference☆80Feb 18, 2026Updated 2 weeks ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Combinator methods for `std::AsyncIterator` using all the new `async` superpowers☆10Feb 15, 2024Updated 2 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- A dwm-like top bar for dwl☆12Jul 13, 2025Updated 7 months ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- oh no oh no this is not good very bad very good☆11Mar 8, 2023Updated 2 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness☆11Nov 2, 2024Updated last year
- Source code of phaazon.net.☆11Sep 17, 2024Updated last year
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 10 months ago
- Simple & compliant implementation of common UNIX userspace utilities☆10Oct 23, 2024Updated last year
- Binary wrapper that disables vDSO for a wrapped application.☆15Feb 17, 2026Updated 2 weeks ago