Alternatives and similar repositories for structureshrink:

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

• amitassaraf / lang
  Module for enforcing language constraints in Python
  ☆70Updated 2 years ago
• rsc-dev / pbd
  Pbd is a Python module to disassemble serialized protocol buffers descriptors (https://developers.google.com/protocol-buffers/).
  ☆86Updated 4 years ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 7 years ago
• revng / llvmcpy
  Python bindings for LLVM auto-generated from the LLVM-C API
  ☆214Updated last month
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 4 years ago
• kgaughan / memoize.py
  Bill McCloskey's memoize.py, grabbed with archive.org from http://www.eecs.berkeley.edu/~billm/memoize.html
  ☆116Updated 2 years ago
• llllllllll / quasiquotes
  I'd just like to interject for a moment...
  ☆51Updated 8 years ago
• susperius / PyFuzz2
  My little fuzzing framework inspired by grinder
  ☆99Updated 7 years ago
• enthought / depsolver
  Default Repo description from terraform module
  ☆0Updated 10 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated 3 weeks ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆238Updated this week
• rjpower / falcon
  C Python, made faster.
  ☆341Updated 9 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 6 years ago
• Muterra / py_hypergolix
  Programmable Dropbox for secure IoT
  ☆70Updated 7 years ago
• brthor / lambdazen
  A better python lambda syntax (`a = (x) > x`) based on runtime source rewriting
  ☆46Updated 8 years ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• alehander92 / Airtight
  a python-like language with hindley-milner-like type system, which is compiled to c
  ☆243Updated 3 years ago
• lonetwin / expyre
  A pythonic wrapper over `atd` to schedule deletion of files/directories.
  ☆53Updated 7 years ago
• neuroo / equip
  Python bytecode instrumentation library
  ☆121Updated 8 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆47Updated 6 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆30Updated 4 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 2 years ago
• CryptoExperts / million-dollar-curve
  ☆90Updated 8 years ago