Alternatives and similar repositories for shrinkray-old:

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

• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• philzook58 / snakelog
  A Datalog Framework for Python
  ☆11Updated last year
• GaloisInc / semmc
  Stratified synthesis for learning machine code instruction semantics
  ☆36Updated 5 months ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆20Updated last year
• cfbolz / minitrace
  experiments in building tiny tracing JITs in various languages (Prolog to start)
  ☆10Updated 3 months ago
• kmicinski / program-analysis-examples
  Notes for CIS 700 (Fall '19) at Syracuse U.
  ☆13Updated 5 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 8 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆65Updated last year
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆43Updated last month
• funemy / SWORD
  SWORD: A Whole Program Race Detector for Java
  ☆13Updated 3 years ago
• jmid / pbt-frameworks
  An overview of property-based testing functionality
  ☆56Updated 7 months ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• siraben / coq-wigderson
  Formalization of Wigderson's graph coloring algorithm in Coq
  ☆9Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 11 years ago
• evdenis / acsl-proved
  Fully proved small C functions (examples for verification course).
  ☆16Updated 7 years ago
• maurer / holmes
  Datalog engine with extensions for integrating analyses
  ☆38Updated 7 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated 10 months ago
• sdiehl / subpy
  Python subsets
  ☆41Updated 7 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 10 years ago
• GaloisInc / renovate
  A library for binary analysis and rewriting
  ☆47Updated last year
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• microsoft / AliveInLean
  Formally verified implementation of Alive in Lean
  ☆35Updated last year
• SRI-CSL / OCCAM
  OCCAM: Object Culling and Concretization for Assurance Maximization
  ☆26Updated last year
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆29Updated 2 years ago
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• verse-lab / ego
  EGraphs in OCaml
  ☆61Updated 11 months ago