Alternatives and similar repositories for shrinkray

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

• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆118Updated last year
• matthewhague / sat-css-tool
  Minify CSS files through refactoring
  ☆261Updated last year
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆260Updated 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 6 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆75Updated 2 years ago
• robertdavidgraham / wc2
  Investigates optimizing 'wc', the Unix word count program
  ☆256Updated last year
• jeprinz / pantograph
  ☆94Updated 7 months ago
• c0stya / trre
  Transductive regular expressions
  ☆252Updated last week
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆747Updated 3 weeks ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• ronomon / pure
  A static analysis file format checker.
  ☆266Updated 5 years ago
• orlp / polymur-hash
  The PolymurHash universal hash function.
  ☆357Updated 2 years ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆478Updated this week
• jamii / jams
  ☆183Updated 4 months ago
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆445Updated last month
• tlack / atree
  Stevan Apter-style trees in C++17
  ☆375Updated last year
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆133Updated this week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 5 months ago
• sidkshatriya / rr.soft
  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
• pyjarrett / septum
  Context-based code search tool
  ☆392Updated 3 months ago
• Paligo / xee
  XPath, XSLT
  ☆427Updated 2 weeks ago
• aappleby / hancho
  A simple pleasant build system in Python.
  ☆367Updated 3 weeks ago
• kstenerud / concise-encoding
  The secure data format for a modern world
  ☆271Updated last year
• 256lights / zb
  An experiment in hermetic, reproducible build systems
  ☆379Updated 3 weeks ago
• facebookexperimental / hermit
  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
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆231Updated last year
• elfshaker / manyclangs
  Repository hosting unofficial binary pack files for many commits of LLVM
  ☆142Updated 2 years ago
• sylver-dev / sylver-cli
  ☆109Updated last year