Alternatives and similar repositories for wast-spec

Users that are interested in wast-spec are comparing it to the libraries listed below

• drom / wast-parser
  WebAssembly AST parser
  ☆18Updated 6 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated 11 months ago
• CodeJockey / node-ninja
  Node.js native addon build tool
  ☆15Updated 2 years ago
• ewasm / wasm-json-toolkit
  [ORPHANED] A small toolkit for converting wasm binaries into json and back.
  ☆32Updated last year
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• dcodeIO / WebAssembly-prototype
  [OUTDATED] JavaScript tools for working with WebAssembly (WASM) binaries.
  ☆41Updated 8 years ago
• mappum / old
  Make the 'new' keyword optional for ES6 classes
  ☆11Updated 8 years ago
• ewasm / wasm-metering
  [ORPHANED] Injects metering into webassembly binaries
  ☆74Updated 2 years ago
• ncbray / wassembler
  ☆19Updated 7 years ago
• Sleepyowl / jsprolog
  A simple Prolog interpreter written with javascript
  ☆16Updated 7 years ago
• WebAssembly / decompressor-prototype
  ☆10Updated 2 years ago
• data-ux / wasm-playground
  WebAssembly playground
  ☆25Updated 4 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 5 years ago
• drses / ses
  Secure EcmaScript
  ☆48Updated 11 years ago
• indutny / wasm-cli
  CLI for wasm-jit
  ☆23Updated 9 years ago
• aduraj / ocaml-data-structures
  Data structure implementations (Avl tree, Red-black tree, Splay tree, Heap) for Ocaml language
  ☆18Updated 12 years ago
• erykpiast / cyclejs-mock
  Utility for testing applications based on CycleJS framework.
  ☆22Updated 10 years ago
• puffnfresh / brushtail
  JS AST rewriter for tail call elimination
  ☆134Updated 11 years ago
• Agoric / ERTP
  MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework
  ☆19Updated 5 years ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• dfinity-side-projects / wasm-persist
  a JS module for creating orthogonally persistent WebAssembly instances
  ☆42Updated 2 years ago
• kframework / javascript-semantics
  KJS: A Complete Formal Semantics of JavaScript
  ☆88Updated 8 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆54Updated 9 years ago
• talex5 / irmin-js
  Javascript bindings for Irmin
  ☆31Updated 9 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆69Updated 5 years ago
• indutny / wasm-ast
  WebAssembly AST Parser
  ☆49Updated 9 years ago
• jayphelps / wasm-anyref-demo
  Playing around with WebAssembly (Wasm) anyref using JavaScript's GC as the allocator
  ☆22Updated 2 years ago
• rescript-lang / bucklescript-addons
  Addons modules for the BuckleScript OCaml->Javascript translator
  ☆38Updated 7 years ago
• Agoric / harden
  MOVED to @agoric/ses-shim. build a defensible API surface around an object by freezing all reachable properties
  ☆16Updated 5 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago