Alternatives and similar repositories for PLIVET

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

• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• RYOSKATE / PlayVisualizerC.js
  ☆12Updated 5 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• LingDong- / wasm-fun
  Non-trivial programs in hand-written WebAssembly
  ☆82Updated 5 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆138Updated last month
• WebAssembly / wasp
  WebAssembly module decoder in C++
  ☆116Updated 3 years ago
• dmishin / singlerot-smooth
  "Single Rotation" cellular automaton demonstration with Lanczos smoothing
  ☆21Updated 11 years ago
• Chriscbr / scheme-to-wasm
  Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust
  ☆11Updated 5 years ago
• kaya3 / pattern-match-2d
  An algorithm for fast 2D pattern-matching with wildcards.
  ☆20Updated 3 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆103Updated 9 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
• lezer-parser / cpp
  C++ grammar for the Lezer parser system
  ☆22Updated last month
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆19Updated last year
• lark-parser / Lark.js
  Live port of Lark's standalone parser to Javascript
  ☆87Updated last year
• kripken / llvm.js
  LLVM compiled to JavaScript using Emscripten
  ☆469Updated 10 years ago
• edemaine / svgtiler
  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
  ☆70Updated 2 months ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 9 months ago
• plinss / widlparser
  Stand-alone WebIDL Parser in Python
  ☆32Updated 6 months ago
• ClemsonRSRG / RESOLVE
  RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of …
  ☆25Updated this week
• hatashiro / kou
  A minimal language compiled into wasm bytecode
  ☆137Updated 6 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
• silky / fashion
  repo for fashion business/ideas/etc.
  ☆22Updated 6 years ago
• jscert / jsexplain
  ☆26Updated 3 years ago
• WebAssembly / multi-value
  Proposal to add multi-values to WebAssembly
  ☆75Updated 4 years ago
• kkty / theorem-prover
  Automated theorem prover for first-order predicate logic written in TypeScript
  ☆27Updated 3 years ago
• shumbo / DFAV
  Data-flow Analysis Visualizer
  ☆10Updated 4 years ago
• na0214 / linear-lambda-calculus
  An implementation of Linear Lambda Calculus.
  ☆15Updated 5 years ago
• 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
• MikaelMayer / Editor
  Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.
  ☆22Updated 2 years ago