A mutation testing tool designed to work with large C++ (and C) codebases.
☆15Oct 8, 2026Updated 3 weeks ago
Alternatives and similar repositories for dredd
Users that are interested in dredd are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Mar 26, 2025Updated last year
- GPU kernel verification with Pulse☆25Updated this week
- Efficient Sampling of SAT Solutions for Testing☆34Sep 20, 2019Updated 7 years ago
- ☆17Jul 11, 2025Updated last year
- Mutation-guided mutation-based fuzz testing☆53Jul 13, 2024Updated 2 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.
- ☆10Apr 28, 2025Updated last year
- A meta-tracing JIT☆16Updated this week
- ☆29Mar 16, 2023Updated 3 years ago
- Example implementations of spinlocks☆22Dec 15, 2020Updated 5 years ago
- Terminating is exciting☆22Nov 3, 2016Updated 9 years ago
- Add support for debugging JITed code to ORC JIT from LLVM Kaleidoscope example☆13Jun 14, 2017Updated 9 years ago
- ExChain is a static/dynamic analysis tool aimed at pinpointing the root cause of failures resulting from exception propagation.☆13Mar 1, 2024Updated 2 years ago
- vertical + gpu + free join + datalog☆22Feb 12, 2025Updated last year
- JReduce is a tool to reduce Java ByteCode☆13Oct 12, 2021Updated 5 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.
- Filibuster application corpus.☆10Sep 28, 2022Updated 4 years ago
- OpenCL extension for csmith.☆27Nov 27, 2025Updated 11 months ago
- An IDE for JavaScript, without the "bad parts".☆29Jun 16, 2023Updated 3 years ago
- Semantic Crash Bucketing☆17Sep 8, 2020Updated 6 years ago
- Symbolic Execution Engine for Boogie☆29Dec 27, 2021Updated 4 years ago
- Automatic regression verification for LLVM programs☆21Jul 16, 2021Updated 5 years ago
- ☆12Jun 14, 2023Updated 3 years ago
- A minimal (really) out-of-tree MLIR example☆49Aug 14, 2025Updated last year
- Bechmarking Java's instanceof and its alternatives☆16May 11, 2020Updated 6 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.
- StAtutory Reasoning Assessment☆17Dec 8, 2022Updated 3 years ago
- ☆15Sep 28, 2020Updated 6 years ago
- ☆14Jun 15, 2026Updated 4 months ago
- [PROJECT DISCONTINUED] See the newer https://github.com/AntonLydike/filecheck.☆19Jul 10, 2024Updated 2 years ago
- A collection of shader compiler bugs.☆50Mar 21, 2018Updated 8 years ago
- ☆20Apr 22, 2026Updated 6 months ago
- Feedback-directed optimizer for OCaml☆38May 18, 2021Updated 5 years ago
- ☆18Mar 5, 2023Updated 3 years ago
- A book about datalog☆13Nov 26, 2022Updated 3 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.
- Concolic analysis tool for Java☆21Jul 17, 2023Updated 3 years ago
- Net2PCAP is a simple network-to-pcap capture file for Linux. Its goal is to be as simple as possible to be used in hostile environments☆12Aug 28, 2011Updated 15 years ago
- A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs☆20Jan 14, 2021Updated 5 years ago
- ☆43Updated this week
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated 2 years ago
- ☆17Jan 31, 2023Updated 3 years ago
- ☆15Mar 29, 2023Updated 3 years ago