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
  ☆15Updated 10 years ago
• wasm3 / node-wasm-trace
  Instruments wasm files and traces execution
  ☆32Updated 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
• DrSensor / scdlang
  (status: soon revived as different project) Statechart Description Language (just an experiment, need to be rewritten)
  ☆102Updated 4 years ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆122Updated 3 years ago
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆70Updated 4 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆214Updated last year
• cfallin / waffle
  ☆58Updated 7 months ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆125Updated last year
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆137Updated 3 years ago
• HerrmannM / eole
  Éole, a Lévy-optimal lambda calculus evaluator without oracle
  ☆113Updated 6 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆44Updated 5 years ago
• jaredly / unison.rs
  ☆71Updated 3 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆85Updated last week
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 4 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆104Updated last year
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆54Updated 7 months ago
• bytecodealliance / sightglass
  A benchmarking suite and tooling for Wasmtime and Cranelift
  ☆82Updated last month
• vezwork / Polytope
  Experimental, recursively-embeddable, domain-specific editors and text editor
  ☆80Updated 2 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆180Updated last year
• jcoglan / infer
  Interpreter for inference rules
  ☆13Updated 7 years ago
• lord / anchors
  self adjusting computations in rust
  ☆137Updated 2 weeks ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆84Updated this week
• bytecodealliance / wasmparser
  A simple event-driven library for parsing WebAssembly binary files
  ☆182Updated 5 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• geoffreylitt / mini-adapton
  Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)
  ☆24Updated 4 years ago
• cfallin / weval
  ☆174Updated 5 months ago