Alternatives and similar repositories for shrinkray:

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

• matthewhague / sat-css-tool
  Minify CSS files through refactoring
  ☆261Updated last year
• orlp / polymur-hash
  The PolymurHash universal hash function.
  ☆350Updated last year
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆428Updated 2 months ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆262Updated 2 years ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆117Updated last year
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆256Updated 9 months ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆105Updated 2 months ago
• Paligo / xee
  XPath, XSLT
  ☆367Updated last week
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆109Updated 2 weeks ago
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆74Updated 5 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• jeprinz / pantograph
  ☆83Updated 3 months ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆469Updated last year
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆409Updated 3 weeks ago
• ronomon / pure
  A static analysis file format checker.
  ☆239Updated 4 years ago
• c0stya / trre
  Transductive regular expressions
  ☆241Updated 2 months ago
• tlack / atree
  Stevan Apter-style trees in C++17
  ☆369Updated last year
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆616Updated last month
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆245Updated this week
• aappleby / hancho
  A simple pleasant build system in Python.
  ☆361Updated 2 months ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆136Updated 10 months ago
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆637Updated this week
• pyjarrett / septum
  Context-based code search tool
  ☆383Updated 4 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆133Updated last year
• sectordistrict / intentrace
  intentrace is strace with intent, it goes all the way for you instead of half the way. intentrace is currently in beta
  ☆588Updated this week
• sunxfancy / vscode-llvm
  VSCode LLVM Compiler Explorer
  ☆228Updated 11 months ago
• attilatorda / Shift-To-Middle_Array
  An implementation strategy for lists, queues, deque(ue)s.
  ☆118Updated 2 weeks ago
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆105Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated last month