DRMacIver / shrinkray-oldView external linksLinks
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
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- Regexp based tool for mutating generic source code across numerous languages☆150Jan 28, 2026Updated 2 weeks ago
- Structured shrinking of unknown file formats☆96Jul 11, 2017Updated 8 years ago
- ustat - an unified system stats collector tool☆22Feb 5, 2018Updated 8 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- This book has been moved to https://github.com/rust-embedded/embedonomicon☆22Sep 18, 2018Updated 7 years ago
- Database-Supported Haskell☆29Feb 24, 2018Updated 7 years ago
- Using Machine Learning to predict the outcome of a zzuf fuzzing campaign☆23Jun 16, 2015Updated 10 years ago
- Dr. Disassembler☆37Jan 5, 2022Updated 4 years ago
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- A library for unconstrained minimization of smooth functions using Newton's method or L-BFGS.☆38Oct 20, 2018Updated 7 years ago
- Mtac in Agda☆29May 4, 2021Updated 4 years ago
- 7zx is a small C library to extract, test and list 7z / 7zip archives☆10Feb 11, 2023Updated 3 years ago
- Statically typed functional programming language.☆11Jan 25, 2026Updated 2 weeks ago
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆104Updated this week
- Generate arbitrary queries matching your GraphQL schema, and use them to verify your backend implementation.☆47Updated this week
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- Firmware for the Macchina M2 to use your car as a sim racing controller☆13Jan 5, 2021Updated 5 years ago
- A Gitter client API in Python☆10Jul 6, 2017Updated 8 years ago
- ☆10Nov 14, 2022Updated 3 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆44Dec 17, 2025Updated last month
- Implementation of Read-Log-Update in Rust☆11Jan 8, 2020Updated 6 years ago
- BisetMap is a fast and thread-safe two-way hash map of sets for Rust.☆13Nov 9, 2017Updated 8 years ago
- An open source badge☆10Oct 8, 2025Updated 4 months ago
- Flash Messages inspired by Rails☆24Jul 11, 2013Updated 12 years ago
- Native C++ Library☆49May 23, 2015Updated 10 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- HAMT implementation whose sub-trees can be shared over threads☆10Feb 5, 2026Updated last week
- Library and command-line tool to gather stats on typeshed packages☆12Updated this week
- run multiple shell commands in parallel and coordinate their output☆31Jul 5, 2012Updated 13 years ago
- ☆12Nov 5, 2024Updated last year
- event-emitter style wrapper around postMessage☆11Jan 7, 2015Updated 11 years ago
- Handwritten Russian text recognition☆14May 1, 2023Updated 2 years ago
- finding set bits in large bitmaps☆15Nov 30, 2015Updated 10 years ago
- Play with CRIU in vagrant, all automated.☆10Oct 11, 2015Updated 10 years ago