Alternatives and similar repositories for shrinkray

Users that are interested in shrinkray are comparing it to the libraries listed below

• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆256Updated 9 months ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆137Updated 10 months ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆468Updated last year
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆431Updated 2 weeks ago
• matthewhague / sat-css-tool
  Minify CSS files through refactoring
  ☆261Updated last year
• jamii / jams
  ☆182Updated last week
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆320Updated 6 months ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆117Updated last year
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆262Updated 2 years ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆107Updated 2 months ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• alexpovel / srgn
  A grep-like tool which understands source code syntax and allows for manipulation in addition to search
  ☆766Updated last week
• tlack / atree
  Stevan Apter-style trees in C++17
  ☆370Updated last year
• cfallin / weval
  ☆172Updated 7 months ago
• robertdavidgraham / wc2
  Investigates optimizing 'wc', the Unix word count program
  ☆254Updated 10 months ago
• Paligo / xee
  XPath, XSLT
  ☆371Updated 3 weeks ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated 2 years ago
• 256lights / zb
  An experiment in hermetic, reproducible build systems
  ☆338Updated this week
• ronomon / pure
  A static analysis file format checker.
  ☆239Updated 4 years ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆223Updated this week
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆134Updated last year
• aleclearmind / split-patch
  Split your patch similarly to `git add -p` but supporting multiple buckets
  ☆103Updated 3 years ago
• c0stya / trre
  Transductive regular expressions
  ☆248Updated 2 weeks ago
• zwegner / x86-sat
  Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
  ☆318Updated 3 years ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆200Updated 3 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated last month
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆414Updated last month
• tweag / topiary
  ☆685Updated this week
• sectordistrict / intentrace
  intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
  ☆590Updated last week