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
  ☆262Updated 10 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆259Updated last year
• jamii / jams
  ☆183Updated last year
• 256lights / zb
  An experiment in hermetic, reproducible build systems
  ☆320Updated this week
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆117Updated last year
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆71Updated last month
• orlp / polymur-hash
  The PolymurHash universal hash function.
  ☆343Updated last year
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆73Updated last year
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆100Updated 2 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆83Updated 9 months ago
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆306Updated 2 months ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated last week
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆467Updated 8 months ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆131Updated 9 months ago
• stepchowfun / tagref
  Tagref helps you manage cross-references in your code.
  ☆186Updated last week
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆397Updated this week
• tlack / atree
  Stevan Apter-style trees in C++17
  ☆370Updated last year
• tweag / topiary
  ☆604Updated this week
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• ronomon / pure
  A static analysis file format checker.
  ☆238Updated 4 years ago
• brurucy / pydbsp
  This library provides an implementation of the DBSP language for incremental streaming computations.
  ☆99Updated 2 months ago
• aleclearmind / split-patch
  Split your patch similarly to `git add -p` but supporting multiple buckets
  ☆103Updated 2 years ago
• DRMacIver / minithesis
  A very minimal implementation of the core idea of Hypothesis
  ☆133Updated 6 months ago
• sylver-dev / sylver-cli
  ☆104Updated 8 months ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆198Updated 2 years ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆85Updated last year
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆252Updated 5 months ago
• danobi / prr
  Mailing list style code reviews for github
  ☆304Updated this week
• SixArm / usv
  Unicode Separated Values (USV) data markup for units, records, groups, files, streaming, and more.
  ☆210Updated 9 months ago
• hydro-project / katara
  Synthesize CRDTs from classic data types with verified lifting!
  ☆145Updated 8 months ago