DRMacIver / shrinkrayLinks
Shrinkray is a modern multi-format test-case reducer
☆273Updated 4 months ago
Alternatives and similar repositories for shrinkray
Users that are interested in shrinkray are comparing it to the libraries listed below
Sorting:
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- Explore ELF objects through the power of SQL☆259Updated 11 months ago
- An experiment in controlling the size of a thread pool using a PID controller.☆118Updated last year
- Minify CSS files through refactoring☆261Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 8 months ago
- Transductive regular expressions☆251Updated 2 months ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆475Updated last year
- A functional, content-addressable programming language.☆440Updated this week
- ☆183Updated 2 months ago
- ☆172Updated 9 months ago
- A simple program reducer for any language.☆74Updated 2 years ago
- XPath, XSLT☆393Updated last month
- Investigates optimizing 'wc', the Unix word count program☆256Updated last year
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- A modern supercompiler for call-by-value functional languages☆422Updated 3 months ago
- ☆316Updated this week
- LD_PRELOADable library for exploring the glibc heap☆107Updated 4 months ago
- a tool for reinterpreting ELF executables and shared libraries☆329Updated 8 months ago
- Context-based code search tool☆391Updated last month
- ☆93Updated 5 months ago
- The PolymurHash universal hash function.☆356Updated 2 years ago
- An experiment in hermetic, reproducible build systems☆377Updated 3 weeks ago
- A Low Barrier Proof Assistant☆117Updated last week
- Data interchange with algebraic data types.☆625Updated 3 weeks ago
- Stevan Apter-style trees in C++17☆373Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A simple pleasant build system in Python.☆365Updated 3 weeks ago
- Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 a…☆83Updated this week
- A static analysis file format checker.☆239Updated 5 years ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆650Updated last month