Alternatives and similar repositories for shrinkray-old:

Users that are interested in shrinkray-old are comparing it to the libraries listed below

• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆59Updated 3 months ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated 2 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated 2 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 6 months ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆60Updated this week
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated 10 months ago
• GaloisInc / pate
  Patches Assured up to Trace Equivalence
  ☆16Updated last week
• mvitousek / reticulated
  Types for Python
  ☆87Updated 6 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆51Updated 3 months ago
• Kraks / sai
  Staged Abstract Interpreters
  ☆66Updated 2 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆36Updated 8 months ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆90Updated 2 months ago
• maurer / holmes
  Datalog engine with extensions for integrating analyses
  ☆38Updated 7 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• evdenis / acsl-proved
  Fully proved small C functions (examples for verification course).
  ☆16Updated 7 years ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆31Updated 2 months ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆44Updated 4 months ago
• GaloisInc / llvm-pretty
  An llvm pretty printer inspired by the haskell llvm binding
  ☆29Updated this week
• lammich / isabelle_llvm
  Isabelle LLVM Code Generator and Refinement
  ☆27Updated 3 weeks ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 4 years ago