drom / wast-spec
WebAssembly AST specification
☆9Updated 8 years ago
Alternatives and similar repositories for wast-spec:
Users that are interested in wast-spec are comparing it to the libraries listed below
- WebAssembly AST parser☆18Updated 6 years ago
- [OUTDATED] JavaScript tools for working with WebAssembly (WASM) binaries.☆41Updated 8 years ago
- [ORPHANED] A small toolkit for converting wasm binaries into json and back.☆32Updated 11 months ago
- Javascript Interpreter in Functional-Style Javascript☆19Updated 7 years ago
- a JS module for creating orthogonally persistent WebAssembly instances☆42Updated 2 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆19Updated 4 years ago
- Build and test bots☆45Updated 2 years ago
- authenticated data structures, generically☆51Updated 8 years ago
- [ORPHANED] Injects metering into webassembly binaries☆74Updated 2 years ago
- ECMAScript verification with SMT solvers☆124Updated 9 months ago
- Proposal to add multi-values to WebAssembly☆71Updated 3 years ago
- Example code for the `Rust for Node.js developers` series☆19Updated 8 years ago
- WebAssembly JIT☆88Updated 8 years ago
- Playing around with WebAssembly (Wasm) anyref using JavaScript's GC as the allocator☆22Updated 2 years ago
- Make the 'new' keyword optional for ES6 classes☆11Updated 8 years ago
- ☆10Updated 2 years ago
- Addons modules for the BuckleScript OCaml->Javascript translator☆38Updated 7 years ago
- Thoughts and stuff☆68Updated 4 years ago
- ☆19Updated 7 years ago
- MOVED TO MONOREPO. Was: Electronic Rights Transfer Protocol (ERTP), the Smart Contract Framework☆19Updated 5 years ago
- WebAssembly playground☆25Updated 3 years ago
- Node.js native addon build tool☆15Updated 2 years ago
- A template string tag for generating template string tags.☆66Updated 4 years ago
- JS AST rewriter for tail call elimination☆134Updated 11 years ago
- WebAssembly AST Parser☆49Updated 9 years ago
- Utility for testing applications based on CycleJS framework.☆22Updated 9 years ago
- A (more) formal specification of the pull-stream protocol to help testing modules for conformity.☆18Updated 6 years ago
- High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.☆16Updated 9 years ago
- Lean ported to Javascript with Emscripten☆26Updated 7 years ago
- [OLD/Deprecated] Translate OCaml to Reason ON THE WEB☆18Updated 8 years ago