Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
☆29Jan 23, 2020Updated 6 years ago
Alternatives and similar repositories for shrinkray-old
Users that are interested in shrinkray-old are comparing it to the libraries listed below
Sorting:
- Collections Library for Adapton, in Rust☆13Sep 1, 2017Updated 8 years ago
- ☆16Apr 19, 2022Updated 3 years ago
- Regexp based tool for mutating generic source code across numerous languages☆153Jan 28, 2026Updated last month
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- Python 3 wrapper around ldd *nix utility to determine shared libraries of a program☆27Nov 4, 2022Updated 3 years ago
- Database-Supported Haskell☆29Feb 24, 2018Updated 8 years ago
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Jun 16, 2015Updated 10 years ago
- Dr. Disassembler☆38Jan 5, 2022Updated 4 years ago
- The ISLa (Input Specification Language) language & solver.☆71Jul 1, 2024Updated last year
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- C++ template edition of the (standard) kalman filter☆10Aug 26, 2012Updated 13 years ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆109Updated this week
- ☆10Apr 9, 2015Updated 10 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆47Feb 27, 2026Updated last week
- External Code Formatter, an IntelliJ IDEA plugin.☆11Jun 21, 2012Updated 13 years ago
- Firmware for the Macchina M2 to use your car as a sim racing controller☆13Jan 5, 2021Updated 5 years ago
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- CCG is a random C Code Generator☆44Sep 11, 2022Updated 3 years ago
- Fork of https://github.com/fwcd/kotlin-language-server and https://github.com/fwcd/kotlin-debug-adapter with Bazel support☆12Nov 26, 2025Updated 3 months ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Dr.Riptide - DOS game reverse engineered, tools☆13Nov 29, 2019Updated 6 years ago
- Header only debug module for c++11☆38Feb 6, 2015Updated 11 years ago
- Flash Messages inspired by Rails☆24Jul 11, 2013Updated 12 years ago
- A React component for building D3 Chord Diagrams☆12Dec 10, 2022Updated 3 years ago
- Native C++ Library☆49May 23, 2015Updated 10 years ago
- Request Tracker service☆11Aug 26, 2025Updated 6 months ago
- ☆15Jul 13, 2019Updated 6 years ago
- ☆12Feb 17, 2018Updated 8 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆49Oct 17, 2024Updated last year
- Git Archive Daemon (mirror of https://gitorious.org/gitorious/git-archive-daemon)☆13Nov 18, 2014Updated 11 years ago
- Social Sign-In Buttons for Bootstrap☆10Jan 1, 2018Updated 8 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆10Jan 25, 2018Updated 8 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago
- dthreads: Efficient Deterministic Multithreading☆20Sep 24, 2015Updated 10 years ago
- Display your process vitals metrics☆10Sep 2, 2025Updated 6 months ago
- Work towards a "golden model" of the RISC-V calling convention(s)☆10Oct 2, 2017Updated 8 years ago
- ☆49Jun 11, 2025Updated 8 months ago