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.
  ☆117Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 10 months ago
• matthewhague / sat-css-tool
  Minify CSS files through refactoring
  ☆262Updated 11 months ago
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆252Updated 6 months ago
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆72Updated 2 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆260Updated 2 years ago
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆412Updated this week
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆101Updated 3 years ago
• cfallin / weval
  ☆172Updated 3 months ago
• tlack / atree
  Stevan Apter-style trees in C++17
  ☆370Updated last year
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆133Updated 7 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated 2 weeks ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆131Updated 10 months ago
• pyjarrett / septum
  Context-based code search tool
  ☆383Updated 2 months ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆403Updated 3 weeks ago
• tweag / topiary
  ☆632Updated this week
• aleclearmind / split-patch
  Split your patch similarly to `git add -p` but supporting multiple buckets
  ☆103Updated 2 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆240Updated this week
• 256lights / zb
  An experiment in hermetic, reproducible build systems
  ☆324Updated this week
• ronomon / pure
  A static analysis file format checker.
  ☆239Updated 4 years ago
• jamii / jams
  ☆182Updated last year
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆309Updated 3 months ago
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,238Updated last week
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆145Updated 9 months ago
• stepchowfun / typical
  Data interchange with algebraic data types.
  ☆609Updated 2 weeks ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆86Updated last year