DRMacIver / shrinkrayLinks
Shrinkray is a modern multi-format test-case reducer
☆276Updated last month
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 2 years ago
- Explore ELF objects through the power of SQL☆260Updated last year
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- Minify CSS files through refactoring☆260Updated last year
- A simple program reducer for any language.☆75Updated 2 years ago
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 10 months ago
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆479Updated this week
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆661Updated 4 months ago
- A functional, content-addressable programming language.☆446Updated 2 months ago
- Data interchange with algebraic data types.☆751Updated last month
- ☆183Updated 4 months ago
- Transductive regular expressions☆252Updated 3 weeks ago
- A static analysis file format checker.☆266Updated 5 years ago
- ☆95Updated 8 months ago
- A modern supercompiler for call-by-value functional languages☆425Updated last month
- A Low Barrier Proof Assistant☆136Updated this week
- a tool for reinterpreting ELF executables and shared libraries☆330Updated 11 months ago
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- ☆174Updated last month
- 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…☆90Updated 3 weeks ago
- Brzozowski derivative python sketch☆85Updated 6 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- LD_PRELOADable library for exploring the glibc heap☆107Updated 7 months ago
- XPath, XSLT☆427Updated last week
- Context-based code search tool☆392Updated 4 months ago
- The PolymurHash universal hash function.☆358Updated 2 years ago
- VSCode LLVM Compiler Explorer☆232Updated last year
- PostgreSQL Prolog language handler☆134Updated last year
- ☆110Updated last year
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆259Updated last week