Alternatives and similar repositories for shrinkray-old:

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

• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated last year
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 4 months ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated last year
• graydon / exhaustigen
  ☆11Updated 3 years ago
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆58Updated 2 weeks ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• renatahodovan / picireny
  Hierarchical Delta Debugging Framework
  ☆58Updated 2 months ago
• evdenis / acsl-proved
  Fully proved small C functions (examples for verification course).
  ☆16Updated 7 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• true-grue / graph-irs
  Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"
  ☆21Updated last year
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago
• renatahodovan / picire
  Parallel Delta Debugging Framework
  ☆51Updated 2 months ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• maurer / holmes
  Datalog engine with extensions for integrating analyses
  ☆38Updated 7 years ago
• aryx / yacfe
  Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…
  ☆25Updated 6 years ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆28Updated 7 months ago
• GaloisInc / pate
  Patches Assured up to Trace Equivalence
  ☆14Updated last week
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆30Updated last month
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆31Updated 7 months ago
• markshannon / python_formal_semantics
  ☆17Updated 4 years ago
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆36Updated 6 months ago
• uwplse / potpie
  Proof Object Transformation, Preserving Imp Embeddings: the first proof compiler to be formally proven correct
  ☆15Updated 6 months ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago