Alternatives and similar repositories for PLIVET

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

• RYOSKATE / PlayVisualizerC.js
  ☆12Updated 5 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• amyjko / whyline
  The Whyline for Java, an interactive debugging tool that lets you ask "why" questions about program out.
  ☆80Updated 9 years ago
• manuel-serrano / hiphop
  Reactive Web Programming
  ☆29Updated 2 weeks ago
• Chriscbr / scheme-to-wasm
  Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust
  ☆11Updated 5 years ago
• hpi-swa / polyglot-live-programming
  Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.
  ☆39Updated 4 years ago
• plinss / widlparser
  Stand-alone WebIDL Parser in Python
  ☆32Updated 6 months ago
• ExpoSEJS / z3javascript
  A JavaScript wrapper for Z3 containing support for regular expressions & capture groups
  ☆23Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated last month
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆131Updated 4 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆179Updated last year
• freon4dsl / Freon4dsl
  Web Native language Workbench with Projectional Web Editor
  ☆75Updated this week
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• soney / interstate
  ☆53Updated 5 years ago
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• ASSERT-KTH / slumps
  Cool code analysis research for WebAssembly https://urn.kb.se/resolve?urn=urn%3Anbn%3Ase%3Akth%3Adiva-342751
  ☆72Updated 2 years ago
• mx-scissortail / WebBS
  A toy language that compiles to WebAssembly
  ☆51Updated 3 years ago
• LingDong- / wasm-fun
  Non-trivial programs in hand-written WebAssembly
  ☆82Updated 5 years ago
• lark-parser / Lark.js
  Live port of Lark's standalone parser to Javascript
  ☆87Updated last year
• lezer-parser / cpp
  C++ grammar for the Lezer parser system
  ☆22Updated 3 weeks ago
• shamansir / noodle
  Visual programming UI and framework driven by pure functional language and data streams
  ☆61Updated last week
• shumbo / DFAV
  Data-flow Analysis Visualizer
  ☆10Updated 4 years ago
• mreinstein / constraint-solver
  a constraint solver based on kiwi.js with better API ergonomics
  ☆20Updated 4 years ago
• mar9000 / ecmascript4mps
  ECMAScript language implementation for JetBrains MPS
  ☆41Updated last year
• clowdr-app / clowdr
  Midspace (formerly Clowdr) is a completely open-source virtual conference platform. Host complex events with hundreds of authors and pres…
  ☆57Updated 3 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆160Updated 9 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 9 months ago
• mauriciopoppe / interval-arithmetic
  An implementation of an algebraically closed interval system of the extended real number set
  ☆99Updated last month
• cucapra / gator
  Geometry types
  ☆33Updated 5 years ago
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆218Updated last year