A mutation testing tool designed to work with large C++ (and C) codebases.
☆13Oct 28, 2025Updated 4 months ago
Alternatives and similar repositories for dredd
Users that are interested in dredd are comparing it to the libraries listed below
Sorting:
- Efficient Sampling of SAT Solutions for Testing☆35Sep 20, 2019Updated 6 years ago
- vertical + gpu + free join + datalog☆21Feb 12, 2025Updated last year
- Terminating is exciting☆22Nov 3, 2016Updated 9 years ago
- ☆27Mar 16, 2023Updated 2 years ago
- An IDE for JavaScript, without the "bad parts".☆29Jun 16, 2023Updated 2 years ago
- Fork of LLVM with modifications to support a program repository☆25Mar 28, 2022Updated 3 years ago
- Delta assists you in minimizing "interesting" files subject to a test of their interestingness.☆33Feb 16, 2022Updated 4 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
- A minimal (really) out-of-tree MLIR example☆47Aug 14, 2025Updated 6 months ago
- 适用于swoole 4.0+的开发框架☆11May 19, 2021Updated 4 years ago
- TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.☆11Aug 13, 2023Updated 2 years ago
- Implementation of PHP's var_dump function for JavaScript.☆11Jan 20, 2024Updated 2 years ago
- Julia implementation of NEAT and HyperNEAT☆10Sep 3, 2020Updated 5 years ago
- CI system for premerge-testing in LLVM project☆43Jun 5, 2025Updated 8 months ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- CppCon 2019 Talk: slides and source code☆48Sep 27, 2019Updated 6 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- Modify ELF executables☆16Mar 5, 2019Updated 6 years ago
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- Play-with-compiler sandbox based on PWD☆10Oct 22, 2020Updated 5 years ago
- ALife Art "BlindPainter"☆10Feb 5, 2024Updated 2 years ago
- Very simplistic chrome extension to save tab groups as sessions. Export/Import sessions as JSON files.☆13Sep 7, 2021Updated 4 years ago
- Fast Search for Gzipped Log Files☆10Apr 26, 2025Updated 10 months ago
- Handbook of eRPC which is an efficient, extensible and easy-to-use RPC framework.☆12Nov 18, 2019Updated 6 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- A tool for checking tool output inspired by LLVM's FileCheck☆12Aug 29, 2025Updated 6 months ago
- Retargetable ML compilers for the twenty-first century!☆13Apr 22, 2025Updated 10 months ago
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- Collaborative Execution Strategies for Heterogeneous CPU-FPGA Architectures☆11Apr 23, 2019Updated 6 years ago
- Not Another Range Library☆39Mar 9, 2014Updated 11 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Automatically exported from code.google.com/p/synchronic☆11Nov 8, 2016Updated 9 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- ☆15May 6, 2021Updated 4 years ago
- A framework to make C memory safe☆13Sep 20, 2022Updated 3 years ago
- A Low-Overhead tool for Floating-Point Exception Detection in NVIDIA GPUs☆12Dec 17, 2024Updated last year
- ☆10Feb 2, 2018Updated 8 years ago