A simple program reducer for any language.
☆77May 11, 2023Updated 3 years ago
Alternatives and similar repositories for comby-reducer
Users that are interested in comby-reducer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats☆29Jan 23, 2020Updated 6 years ago
- Python bindings for Comby☆13Nov 7, 2023Updated 2 years ago
- Use QuasiQuotation with llvm-general☆12Jan 7, 2017Updated 9 years ago
- ALGT 2.0☆30Dec 23, 2019Updated 6 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- HTTP/1.1 client library for OCaml☆16Apr 28, 2020Updated 6 years ago
- Compiler from Webassembly to native binaries☆15Nov 19, 2025Updated 11 months ago
- A python implementation of delta debugging tool.☆27Feb 9, 2024Updated 2 years ago
- Playground for testing feedback☆16Aug 12, 2020Updated 6 years ago
- A language for generating words in constructed languages☆20May 18, 2022Updated 4 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆16May 22, 2024Updated 2 years ago
- Design documents related to the decompilation pipeline.☆30Aug 25, 2025Updated last year
- Test driver for command line tools☆34Nov 11, 2025Updated 11 months ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Oct 22, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Rust library implementing the Toorani-Beheshti signcryption scheme☆13Aug 15, 2023Updated 3 years ago
- ☆10Sep 25, 2026Updated last month
- Program analysis tools developed at Draper on the CBAT project.☆108Apr 13, 2023Updated 3 years ago
- A code rewrite tool for structural search and replace that supports ~every language.☆2,694Updated this week
- Implementation of a language interpreter in the browser, using js_of_ocaml.☆15Dec 25, 2017Updated 8 years ago
- ☆13Feb 9, 2022Updated 4 years ago
- libfuzzerfication - fuzzing for the rest of us!☆62Jan 9, 2017Updated 9 years ago
- Semantic find-and-replace using tree-sitter-based macro expansion!☆17Mar 31, 2022Updated 4 years ago
- Variation of american fuzzy lop for testing compilers☆128Apr 21, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The IntercalScript programming language☆141Aug 30, 2020Updated 6 years ago
- TV show scraper/renamer thingy☆12May 10, 2013Updated 13 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆11Aug 3, 2017Updated 9 years ago
- Scripts and instructions to build FreeBSD for the Pine64 board☆11Apr 17, 2017Updated 9 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆121Oct 19, 2026Updated 2 weeks ago
- Hierarchical Delta Debugging Framework☆60Aug 24, 2026Updated 2 months ago
- Restartable exception handling for Clojure, allowing you to recover from exceptions without unwinding the stack.☆36Sep 1, 2018Updated 8 years ago
- A pretty-printing combinator library for OCaml☆49Aug 7, 2024Updated 2 years ago
- setup for fuzzing the Rust compiler☆60Mar 17, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆22Oct 28, 2019Updated 7 years ago
- ☆19Aug 15, 2024Updated 2 years ago
- Scripts and Javascript Glue code to use Z3 in the browser using WASM☆13Jan 10, 2022Updated 4 years ago
- print information from LLVM dataflow analyses☆13Jan 22, 2020Updated 6 years ago
- Grey-box Concolic Testing on Binary Code (ICSE '19)☆155Oct 4, 2021Updated 5 years ago
- Playing around with WebAssembly (Wasm) anyref using JavaScript's GC as the allocator☆23Dec 4, 2022Updated 3 years ago
- This is a reference implementation of GLL and its variants written by Adrian Johnstone and tested by Elizabeth Scott; we are the authors …☆11May 29, 2024Updated 2 years ago