sliminality / wasm-traceLinks
instrumenting wasm binaries to trace function execution
☆47Updated 6 years ago
Alternatives and similar repositories for wasm-trace
Users that are interested in wasm-trace are comparing it to the libraries listed below
Sorting:
- Proof assistant for Typographical Number Theory☆14Updated 9 years ago
- Instruments wasm files and traces execution☆31Updated 4 years ago
- Outlines for Jon Blow's YouTube videos on games, programming and more.☆21Updated 7 months ago
- Strace in Rust☆48Updated 3 years ago
- (status: soon revived as different project) Statechart Description Language (just an experiment, need to be rewritten)☆101Updated 3 years ago
- Fungi: Typed incremental computation with names☆68Updated 5 years ago
- The Rust and WebAssembly RFCs☆39Updated 3 years ago
- Experiment in structural code editing☆102Updated last year
- Text operational transform library, for rust. Compatible with libot, ottypes/text.☆27Updated 3 years ago
- A LISP interpreter written in ReasonML, targeting native and browser environments☆17Updated 6 years ago
- A simple event-driven library for parsing WebAssembly binary files☆179Updated 4 years ago
- ☆37Updated 3 years ago
- JS affine☆66Updated 4 years ago
- A WebAssembly test case generator☆43Updated 4 years ago
- Please don't use this! Check out this instead:☆62Updated 7 years ago
- SumTypes in TypeScript☆30Updated 2 years ago
- An open-source database inspired by Datomic☆30Updated last year
- Phyllotaxis implemented with ReasonML☆12Updated 6 years ago
- ☆62Updated 6 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆51Updated 2 months ago
- The canonical Replicache client, implemented in Rust.☆30Updated 3 years ago
- Longboard: The easy way to surf☆19Updated 2 years ago
- Proposal to add multi-values to WebAssembly☆71Updated 3 years ago
- Collection of resources & examples for Rust & WebAssembly☆75Updated 6 years ago
- ☆21Updated 6 years ago
- ECMAScript verification with SMT solvers☆125Updated 11 months ago
- map from types to functions that receive them☆14Updated 6 years ago
- ☆14Updated 3 years ago
- Automagical variable binding library for Rust☆67Updated 5 years ago
- it's like a blockchain but for collaborative editing of json documents☆40Updated 5 years ago