Alternatives and similar repositories for memsynth

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

• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆40Updated 2 years ago
• gergo- / ldrgen
  Liveness-driven random C code generator
  ☆42Updated this week
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• mangpo / greenthumb
  ☆88Updated 3 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆14Updated last year
• LLNL / backstroke
  A tool for reversible computation in C++ based on incremental state saving.
  ☆22Updated 5 years ago
• sumith1896 / tusSAT
  A SAT solver implementation in VHDL, team tussle
  ☆21Updated 9 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• evdenis / verker
  Linux kernel library functions formally verified.
  ☆52Updated 4 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆31Updated 9 years ago
• jtoman / claims
  A LaTeX package for proof carrying papers
  ☆24Updated 8 years ago
• daniellustig / pipecheck
  ☆19Updated 10 years ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆71Updated 9 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆63Updated last week
• aposwolsky / delphin
  The Delphin Project
  ☆10Updated 8 years ago
• dcdelia / tinyvm
  A simple VM to play with OSR in LLVM
  ☆14Updated 8 years ago
• rocq-community / chapar
  A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
  ☆32Updated last year
• davewathaverford / the-omega-project
  Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega…
  ☆71Updated 3 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• soarlab / FPTuner
  Rigorous Floating-Point Mixed-Precision Tuner
  ☆15Updated 5 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 10 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• kframework / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆47Updated 7 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• dafny-lang / xdsmith
  Fuzz testing for Dafny
  ☆13Updated 3 years ago
• mhirki / idq-bench2
  Instruction decoder microbenchmark suite
  ☆11Updated 7 years ago
• FPBench / FPBench
  A standard for floating point accuracy benchmarks
  ☆52Updated 4 months ago
• agra-uni-bremen / metaSMT
  ☆52Updated 9 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago