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
• llllllllll / quasiquotes
  I'd just like to interject for a moment...
  ☆51Updated 9 years ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 8 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
• susperius / PyFuzz2
  My little fuzzing framework inspired by grinder
  ☆99Updated 7 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 6 years ago
• davidmalcolm / pygccjit
  Python bindings for libgccjit.so
  ☆48Updated 9 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 4 months ago
• enthought / depsolver
  Default Repo description from terraform module
  Updated 10 years ago
• regehr / compiler-crashes
  60 artisanal compiler crashes
  ☆39Updated 8 years ago
• thomasballinger / rlundo
  undo in any program that uses readline
  ☆162Updated 7 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• marcoeilers / nagini
  Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.
  ☆245Updated this week
• ryanmcdermott / birdseed
  Use Twitter's Search API to get random numbers
  ☆78Updated 9 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
• revng / llvmcpy
  Python bindings for LLVM auto-generated from the LLVM-C API
  ☆222Updated 2 weeks ago
• cjdelisle / return-to-abort
  return-to-abort() - Using code introspection to prevent stack-smashing
  ☆37Updated 4 years ago
• jakeogh / angryfiles
  generate a tree of diverse file names
  ☆47Updated 10 months ago
• bjpop / blip
  A bytecode compiler for Python 3
  ☆157Updated 4 years ago
• jrmuizel / rr-dataflow
  An 'origin' command that continue to the origin of a piece of data in rr
  ☆47Updated 7 years ago
• alehander92 / Airtight
  a python-like language with hindley-milner-like type system, which is compiled to c
  ☆243Updated 3 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
• abau / cppsat
  Propositional Encodings in C++11
  ☆18Updated 6 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆71Updated 6 years ago
• vstinner / fatoptimizer
  Static optimizer specializing functions with guards for Python 3.6
  ☆72Updated 5 years ago
• notmatthancock / outline_to_dot
  indented outline markup -> dot
  ☆51Updated 9 years ago
• towry-archived / bin-packing
  😔 Failed to implement some kind layout in browser.
  ☆55Updated 9 years ago