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
  ☆260Updated last year
• fzakaria / sqlelf
  Explore ELF objects through the power of SQL
  ☆265Updated last year
• comby-tools / comby-reducer
  A simple program reducer for any language.
  ☆76Updated 2 years ago
• stevana / elastically-scalable-thread-pools
  An experiment in controlling the size of a thread pool using a PID controller.
  ☆118Updated 2 years ago
• RocketRace / easy_z3
  Using z3's never been easier (maybe)
  ☆102Updated 3 years ago
• tekknolagi / scrapscript
  A functional, content-addressable programming language.
  ☆452Updated 4 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆263Updated 2 years ago
• cfallin / weval
  ☆174Updated 4 months ago
• jasonjmcghee / basic-treesitter-cranelift-jit
  Simple live calculator in tree-sitter + cranelift jit
  ☆75Updated last year
• c0stya / trre
  Transductive regular expressions
  ☆253Updated 3 months ago
• heap-exploitation / heap-explorer
  LD_PRELOADable library for exploring the glibc heap
  ☆108Updated 10 months ago
• orlp / polymur-hash
  The PolymurHash universal hash function.
  ☆358Updated 2 years ago
• mgree / ffs
  the file filesystem: mount semi-structured data (like JSON) as a Unix filesystem
  ☆483Updated last week
• jeprinz / pantograph
  ☆101Updated 10 months ago
• jamii / jams
  ☆183Updated 7 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆151Updated 2 weeks ago
• tlack / atree
  Stevan Apter-style trees in C++17
  ☆373Updated 2 years ago
• robertdavidgraham / wc2
  Investigates optimizing 'wc', the Unix word count program
  ☆258Updated last year
• Dicklesworthstone / introduction_to_temporal_logic
  An introduction to temporal logic and how it can be used to analyze concurrency
  ☆107Updated last year
• hirrolot / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆462Updated last month
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 9 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…
  ☆95Updated last month
• 256lights / zb
  An experiment in hermetic, reproducible build systems
  ☆396Updated last month
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated 3 weeks ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆135Updated last year
• sarsko / CreuSAT
  CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.
  ☆670Updated 6 months ago
• fizzbee-io / fizzbee
  Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications
  ☆269Updated this week
• vshymanskyy / muon
  µON - a compact and simple binary object notation
  ☆268Updated 3 years ago
• ronomon / pure
  A static analysis file format checker.
  ☆267Updated 5 years ago
• dandavison / chronologer
  Visualize performance benchmarks over git commit history
  ☆262Updated last year