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
• ewasm / wasm-json-toolkit
  [ORPHANED] A small toolkit for converting wasm binaries into json and back.
  ☆32Updated 9 months ago
• leanprover / lean.js
  Lean ported to Javascript with Emscripten
  ☆26Updated 7 years ago
• data-ux / wasm-playground
  WebAssembly playground
  ☆25Updated 3 years ago
• dcodeIO / WebAssembly-prototype
  [OUTDATED] JavaScript tools for working with WebAssembly (WASM) binaries.
  ☆41Updated 8 years ago
• WebAssembly / waterfall
  Build and test bots
  ☆45Updated 2 years ago
• jayphelps / wasm-anyref-demo
  Playing around with WebAssembly (Wasm) anyref using JavaScript's GC as the allocator
  ☆22Updated 2 years ago
• mappum / old
  Make the 'new' keyword optional for ES6 classes
  ☆11Updated 7 years ago
• CodeJockey / node-ninja
  Node.js native addon build tool
  ☆15Updated 2 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• jcbeyler / wasm-to-llvm-prototype
  s-expression → internal IR → LLVM IR
  ☆46Updated 9 years ago
• WebAssembly / decompressor-prototype
  ☆10Updated 2 years ago
• dfinity-side-projects / wasm-persist
  a JS module for creating orthogonally persistent WebAssembly instances
  ☆42Updated 2 years ago
• javert2 / JaVerT2.0
  JaVerT2.0 - Compositional Symbolic Execution for JavaScript
  ☆19Updated 4 years ago
• WebAssembly / wasi-libc-old
  Precursor to WASI libc.
  ☆36Updated 2 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated 8 months ago
• indutny / wasm-jit
  WebAssembly JIT
  ☆87Updated 8 years ago
• Agoric / ERTP
  MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework
  ☆19Updated 5 years ago
• mafintosh / sparse-bitfield
  Bitfield that allocates a series of small buffers to support sparse bits without allocating a massive buffer
  ☆26Updated 3 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆90Updated 2 years ago
• creationix / ts-git
  TypeScript re-implementation of js-git (aka js-git 2.0)
  ☆11Updated 9 years ago
• krl / ipfs-crdts
  crdts on ipfs
  ☆12Updated 9 years ago
• indutny / wasm-ast
  WebAssembly AST Parser
  ☆49Updated 9 years ago
• ncbray / wassembler
  ☆19Updated 7 years ago
• TomBebbington / js.rs
  An experimental Javascript parser and just-in-time compiler written in Rust
  ☆137Updated 10 years ago
• juliangruber / level-fs
  node's fs module with leveldb as backend
  ☆60Updated 8 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• amiller / lambda-auth
  authenticated data structures, generically
  ☆50Updated 8 years ago
• indutny / bitcode
  Generate binary LLVM-compatible bitcode from JS
  ☆61Updated 6 years ago
• bkero / es4
  es4 clone
  ☆26Updated 10 years ago