DRMacIver / shrinkrayLinks
Shrinkray is a modern multi-format test-case reducer
☆271Updated 3 months ago
Alternatives and similar repositories for shrinkray
Users that are interested in shrinkray are comparing it to the libraries listed below
Sorting:
- Explore ELF objects through the power of SQL☆256Updated 10 months ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- ☆86Updated 4 months ago
- Minify CSS files through refactoring☆260Updated last year
- ☆172Updated 8 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 3 months ago
- Simple live calculator in tree-sitter + cranelift jit☆74Updated 6 months ago
- ☆182Updated 3 weeks ago
- Data interchange with algebraic data types.☆620Updated last month
- the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem☆470Updated last year
- A functional, content-addressable programming language.☆436Updated last month
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆230Updated last week
- XPath, XSLT☆379Updated last week
- An experiment in controlling the size of a thread pool using a PID controller.☆117Updated last year
- A static analysis file format checker.☆239Updated 4 years ago
- tar creator+extractor in ~100 lines of prolog☆264Updated 2 years ago
- A simple program reducer for any language.☆73Updated 2 years ago
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- A modern supercompiler for call-by-value functional languages☆415Updated 2 months ago
- Unix core utilities implemented in Haskell☆288Updated 2 months ago
- a tool for reinterpreting ELF executables and shared libraries☆325Updated 7 months ago
- Brzozowski derivative python sketch☆85Updated 2 months ago
- CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.☆646Updated last week
- Transductive regular expressions☆250Updated last month
- VSCode LLVM Compiler Explorer☆228Updated last year
- n2 ("into"), a ninja compatible build system☆411Updated 2 weeks ago
- Proving leftpad correct two-dozen different ways☆676Updated 2 months ago
- Visualize performance benchmarks over git commit history☆252Updated last year
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- A Low Barrier Proof Assistant☆112Updated last week