Alternatives and similar repositories for PLIVET:

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

• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆78Updated 8 years ago
• RYOSKATE / PlayVisualizerC.js
  ☆12Updated 4 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆132Updated 2 months ago
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆28Updated last week
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆143Updated 5 years ago
• GillianPlatform / Gillian
  The Gillian Platform main repository
  ☆81Updated last week
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆126Updated last year
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆88Updated 8 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• lark-parser / Lark.js
  Live port of Lark's standalone parser to Javascript
  ☆77Updated last year
• antlr / symtab
  Generic symbol table for lexically/statically scoped languages
  ☆51Updated 8 years ago
• hopv / MoCHi
  MoCHi: Model Checker for Higher-Order Programs
  ☆41Updated last year
• mcnuttandrew / prong
  A projectional editor for JSON DSLs
  ☆25Updated last year
• dangtv / BIRDS
  Bidirectional transformation for Relational view update Datalog-based Strategies
  ☆21Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 3 years ago
• hpi-swa / polyglot-live-programming
  Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.
  ☆37Updated 4 years ago
• ckaestne / TypeChef
  Type checking ifdef variability
  ☆77Updated 3 years ago
• noahvanes / slip.js
  A Scheme interpreter in asm.js
  ☆15Updated 7 years ago
• Samsung / SJS
  SJS is a static ahead of time compiler for a subset of JavaScript
  ☆47Updated last year
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆199Updated 2 months ago
• kaya3 / pattern-match-2d
  An algorithm for fast 2D pattern-matching with wildcards.
  ☆20Updated 2 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
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• MikaelMayer / Editor
  Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
  ☆20Updated last year
• codyroux / broad-coq-tutorial
  Some unstructured notes concerning the Broad tutorial to take place in March 2020
  ☆31Updated 3 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• RReverser / vscode-llvm
  LLVM syntax highlight extension for VS Code
  ☆13Updated last year
• halo-project / halo
  😇 Wholly Adaptive LLVM Optimizer
  ☆27Updated 4 years ago
• utwente-fmt / ltsmin
  The LTSmin model checking toolset
  ☆57Updated 5 months ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆55Updated last year