Alternatives and similar repositories for wasm-trace

Users that are interested in wasm-trace are comparing it to the libraries listed below

• jcoglan / tnt
  Proof assistant for Typographical Number Theory
  ☆14Updated 10 years ago
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆136Updated 3 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆213Updated last year
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆70Updated 4 years ago
• cfallin / waffle
  ☆58Updated 6 months ago
• DrSensor / scdlang
  (status: soon revived as different project) Statechart Description Language (just an experiment, need to be rewritten)
  ☆102Updated 4 years ago
• wasm3 / node-wasm-trace
  Instruments wasm files and traces execution
  ☆32Updated 4 years ago
• lord / anchors
  self adjusting computations in rust
  ☆137Updated 4 years ago
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 3 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆44Updated 5 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated last year
• dphm / rusty_chip
  CHIP-8 interpreter and virtual machine in Rust
  ☆15Updated 7 years ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 4 years ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆120Updated 3 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆104Updated last year
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• WebAssembly / multi-value
  Proposal to add multi-values to WebAssembly
  ☆75Updated 4 years ago
• cfallin / weval
  ☆174Updated 4 months ago
• bytecodealliance / wasmparser
  A simple event-driven library for parsing WebAssembly binary files
  ☆181Updated 5 years ago
• WebAssembly / debugging
  Design documents and discussions about debug support in WebAssembly
  ☆109Updated 3 years ago
• futureofcoding / futureofcoding.org
  An archive of Steve Krouse's Future of Coding research notes
  ☆149Updated 2 months ago
• chenglou / jon-blow-video-outlines
  Outlines for Jon Blow's YouTube videos on games, programming and more.
  ☆21Updated last year
• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 7 years ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆53Updated 6 months ago
• jaredly / veoluz
  "I see light" - visualize the paths of millions of light rays through reflection, refraction and diffusion
  ☆154Updated 6 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆84Updated 2 years ago
• WebAssembly / reference-types
  Proposal for adding basic reference types (anyref)
  ☆168Updated 4 years ago
• rust-analyzer / ungrammar
  ☆324Updated 2 months ago
• cyrus- / relit
  Hygienic typed literal macros (TLMs) for Reason
  ☆210Updated 7 years ago