Shrinkray is a modern multi-format test-case reducer
☆301Apr 14, 2026Updated 3 weeks ago
Alternatives and similar repositories for shrinkray
Users that are interested in shrinkray are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Feb 10, 2026Updated 2 months ago
- Super-parallel Python port of the C-Reduce☆330Apr 18, 2026Updated 2 weeks ago
- A very minimal implementation of the core idea of Hypothesis☆152Jul 5, 2024Updated last year
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆16May 25, 2022Updated 3 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆112Apr 27, 2026Updated last 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.
- Structured shrinking of unknown file formats☆96Jul 11, 2017Updated 8 years ago
- C-Reduce, a C and C++ program reducer☆1,658Jun 1, 2024Updated last year
- Hypothesis strategies for generating Python programs, something like CSmith☆111Feb 16, 2024Updated 2 years ago
- Adaptive fuzzing of Hypothesis tests☆115Apr 22, 2026Updated 2 weeks ago
- Wasm Analysis Framework For Lightweight Experiments☆61Mar 2, 2026Updated 2 months ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆33Feb 16, 2022Updated 4 years ago
- A Binary Ninja plugin providing a set of BinaryViews for loading Motorola SREC, Intel HEX, and TI-TXT "hex" files☆10Sep 5, 2024Updated last year
- GitHub Action that runs Schemathesis tests☆14Mar 21, 2026Updated last month
- Creation & manipulation of PyPI tokens☆15Updated this week
- 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.
- A simple program reducer for any language.☆78May 11, 2023Updated 2 years ago
- download the macOS SDK legally without an Apple account☆11Jun 1, 2023Updated 2 years ago
- ☆60Apr 25, 2024Updated 2 years ago
- Automatic testing of Haskell programs.☆13Jun 10, 2025Updated 10 months ago
- A Python type checker☆30Apr 30, 2026Updated last week
- An analysis tool for Python that blurs the line between testing and type systems.☆1,281Apr 26, 2026Updated last week
- Reticle evaluation (PLDI 2021)☆12Apr 12, 2021Updated 5 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆126Jun 28, 2018Updated 7 years ago
- language-agnostic program reducer.☆208Apr 19, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆67Oct 18, 2025Updated 6 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆322Dec 1, 2021Updated 4 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- A hack to explicitly set up and tear down fixtures.☆18Jul 16, 2022Updated 3 years ago
- A fast, deterministic, non-cryptographic hash for use in hash tables for Rust☆15Jan 12, 2021Updated 5 years ago
- ☆58Mar 2, 2026Updated 2 months ago
- replaces fixed-sized string prefixes & whole sections in binaries for fast, debuggable, reproducible builds☆32Mar 19, 2024Updated 2 years ago
- Datalog compiler embedded in Rust as a procedural macro☆516Dec 14, 2025Updated 4 months ago
- Magic Wormhole for Haskell☆11Apr 23, 2024Updated 2 years 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.
- Liveness-driven random C code generator☆44Jul 30, 2025Updated 9 months ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆88Apr 17, 2026Updated 2 weeks ago
- Automatically exported from code.google.com/p/smhasher☆16Mar 10, 2021Updated 5 years ago
- "Toy" SMT Solver for Educational Purposes☆20Apr 17, 2013Updated 13 years ago
- Beating the CAP theorem with the epidemic register☆17Jul 15, 2020Updated 5 years ago
- Logic programming in Rust☆548Oct 25, 2025Updated 6 months ago
- Repository for discussing/planning prebuilt binaries of CPython☆26Nov 18, 2025Updated 5 months ago