Alternatives and similar repositories for PLIVET:

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

• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆59Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated 2 weeks ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆142Updated 4 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 8 years ago
• ASSERT-KTH / slumps
  Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751
  ☆67Updated last year
• hephaestus-compiler-project / hephaestus
  A framework for testing compilers' type checkers
  ☆52Updated 5 months ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆81Updated this week
• airportyh / time-traveling-debugger
  A attempt to implement a viable record/replay debugger.
  ☆69Updated last year
• lark-parser / Lark.js
  Live port of Lark's standalone parser to Javascript
  ☆75Updated 11 months ago
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆41Updated last year
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• hpi-swa / polyglot-live-programming
  Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.
  ☆37Updated 3 years ago
• msv-lab / angelix
  Semantic program repair system for C programs
  ☆97Updated 2 years ago
• MiniZinc / minizinc-js
  Use MiniZinc in the browser or with NodeJS
  ☆33Updated this week
• GaloisInc / yapall
  A precise and scalable pointer analysis for LLVM, written in Ascent
  ☆62Updated 3 weeks 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…
  ☆29Updated 9 years ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆193Updated last week
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆49Updated 5 years ago
• utk-se / WorldSyntaxTree
  Language-agnostic parsing of World of Code repositories
  ☆20Updated last year
• specs-feup / clava
  C/C++ Source-to-Source Tool based on Clang
  ☆74Updated 3 weeks ago
• julianjensen / dominators
  Various dominator tree algorithms
  ☆22Updated 4 years ago
• plinss / widlparser
  Stand-alone WebIDL Parser in Python
  ☆31Updated 9 months ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago
• kripken / Relooper
  this repo is deprecated, see the binaryen repo
  ☆21Updated 5 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• bannsec / pySym
  Python Symbolic Execution
  ☆66Updated 5 years ago
• eregon / virtual-machines-research-graph
  A Virtual Machine Research Overview as a Graph
  ☆25Updated 3 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆125Updated 3 years ago