sliminality / wasm-traceLinks
instrumenting wasm binaries to trace function execution
☆49Updated 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
- A Rust toolkit to combine property-based testing and fuzzing.☆136Updated 3 years ago
- Strace in Rust☆48Updated 3 years ago
- self adjusting computations in rust☆136Updated 3 years ago
- Instruments wasm files and traces execution☆32Updated 4 years ago
- Fungi: Typed incremental computation with names☆70Updated 5 years ago
- Proof-of-concept for a memory-efficient data structure for zooming billion-event traces☆70Updated 4 years ago
- A simple event-driven library for parsing WebAssembly binary files☆180Updated 4 years ago
- ☆58Updated last month
- (status: soon revived as different project) Statechart Description Language (just an experiment, need to be rewritten)☆102Updated 4 years ago
- A DSL and compiler for generating peephole optimizers for Cranelift☆64Updated 5 years ago
- a datalog interpreter in typescript☆212Updated 8 months ago
- A WebAssembly test case generator☆43Updated 4 years ago
- Experiment in structural code editing☆102Updated last year
- A benchmark suite and tool to compare different implementations of the same primitives.☆78Updated 2 months ago
- A hostile memory allocator to make WebAssembly applications more predictable.☆83Updated 3 years ago
- A demand-driven compiler with strong IDE support☆195Updated 3 years ago
- Text operational transform library, for rust. Compatible with libot, ottypes/text.☆27Updated 4 years ago
- The old Future of Coding website☆145Updated last week
- Proposal to add multi-values to WebAssembly☆72Updated 3 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated 2 weeks ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- CHIP-8 interpreter and virtual machine in Rust☆15Updated 7 years ago
- ☆69Updated 2 years ago
- A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.☆44Updated 9 years ago
- SFI verifier of Wasm binaries☆82Updated 2 years ago
- Test materials for getting JIT support for wizer☆114Updated 2 years ago
- Proposal for adding basic reference types (anyref)☆165Updated 3 years ago
- A safe and efficient target language for functional compilers☆20Updated 7 years ago
- In browser drawing app built in rust / wasm☆102Updated 4 years ago