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 9 years ago
• gs0510 / rustrace
  Strace in Rust
  ☆48Updated 3 years ago
• wasm3 / node-wasm-trace
  Instruments wasm files and traces execution
  ☆32Updated 4 years ago
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆70Updated 4 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 5 years ago
• cfallin / waffle
  ☆58Updated 2 months ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆44Updated 9 years ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 4 years ago
• lord / anchors
  self adjusting computations in rust
  ☆136Updated 4 years ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 4 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 8 months ago
• WebAssembly / debugging
  Design documents and discussions about debug support in WebAssembly
  ☆109Updated 3 years ago
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆136Updated 3 years ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆49Updated 2 months ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆116Updated 2 years ago
• Gregoor / tofu
  Experiment in structural code editing
  ☆102Updated last year
• jorendorff / talks
  Some talks I've given
  ☆91Updated 2 years ago
• bytecodealliance / wasmparser
  A simple event-driven library for parsing WebAssembly binary files
  ☆180Updated 5 years ago
• DrSensor / scdlang
  (status: soon revived as different project) Statechart Description Language (just an experiment, need to be rewritten)
  ☆102Updated 4 years ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆195Updated 3 years ago
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 years ago
• WebAssembly / reference-types
  Proposal for adding basic reference types (anyref)
  ☆166Updated 3 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆179Updated last year
• WebAssembly / multi-value
  Proposal to add multi-values to WebAssembly
  ☆73Updated 3 years ago
• jaredly / unison.rs
  ☆69Updated 3 years ago
• tehwalris / forest
  A multi-cursor structural editor prototype for TypeScript
  ☆60Updated 2 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆38Updated last week