DRMacIver / shrinkrayLinks
Shrinkray is a modern multi-format test-case reducer
☆274Updated 5 months ago
Alternatives and similar repositories for shrinkray
Users that are interested in shrinkray are comparing it to the libraries listed below
Sorting:
- A simple program reducer for any language.☆74Updated 2 years ago
- Minify CSS files through refactoring☆261Updated last year
- LD_PRELOADable library for exploring the glibc heap☆107Updated 5 months ago
- An experiment in controlling the size of a thread pool using a PID controller.☆118Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 8 months ago
- A static analysis file format checker.☆263Updated 5 years 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 2 weeks ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆479Updated last year
- A functional, content-addressable programming language.☆443Updated 2 weeks ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- XPath, XSLT☆404Updated this week
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Brzozowski derivative python sketch☆85Updated 4 months ago
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- Stevan Apter-style trees in C++17☆375Updated last year
- Investigates optimizing 'wc', the Unix word count program☆256Updated last year
- ☆183Updated 2 months ago
- Explore ELF objects through the power of SQL☆260Updated last year
- The PolymurHash universal hash function.☆357Updated 2 years ago
- Data interchange with algebraic data types.☆628Updated last month
- ☆173Updated 10 months ago
- VSCode LLVM Compiler Explorer☆232Updated last year
- A Low Barrier Proof Assistant☆120Updated last week
- Unicode Extended grapheme clusters in nanoseconds☆32Updated 9 months ago
- A simple pleasant build system in Python.☆366Updated last month
- ☆92Updated 6 months ago
- An implementation strategy for lists, queues, deque(ue)s.☆121Updated last month
- Transductive regular expressions☆251Updated 3 months ago
- A modern supercompiler for call-by-value functional languages☆421Updated 4 months ago
- Context-based code search tool☆391Updated 2 months ago