DRMacIver / shrinkrayLinks
Shrinkray is a modern multi-format test-case reducer
☆275Updated 3 weeks ago
Alternatives and similar repositories for shrinkray
Users that are interested in shrinkray are comparing it to the libraries listed below
Sorting:
- 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
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- Explore ELF objects through the power of SQL☆260Updated last year
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 6 months ago
- A simple program reducer for any language.☆75Updated 2 years ago
- Investigates optimizing 'wc', the Unix word count program☆256Updated last year
- ☆94Updated 7 months ago
- Transductive regular expressions☆252Updated last week
- Data interchange with algebraic data types.☆747Updated 3 weeks ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A static analysis file format checker.☆266Updated 5 years ago
- The PolymurHash universal hash function.☆357Updated 2 years ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆478Updated this week
- ☆183Updated 4 months ago
- A functional, content-addressable programming language.☆445Updated last month
- Stevan Apter-style trees in C++17☆375Updated last year
- A Low Barrier Proof Assistant☆133Updated this week
- Brzozowski derivative python sketch☆85Updated 5 months 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…☆89Updated this week
- Context-based code search tool☆392Updated 3 months ago
- XPath, XSLT☆427Updated 2 weeks ago
- A simple pleasant build system in Python.☆367Updated 3 weeks ago
- The secure data format for a modern world☆271Updated last year
- An experiment in hermetic, reproducible build systems☆379Updated 3 weeks ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,309Updated 2 weeks ago
- VSCode LLVM Compiler Explorer☆231Updated last year
- Repository hosting unofficial binary pack files for many commits of LLVM☆142Updated 2 years ago
- ☆109Updated last year