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
• cfallin / waffle
  ☆58Updated 4 months ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 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
• trishume / gigatrace
  Proof-of-concept for a memory-efficient data structure for zooming billion-event traces
  ☆70Updated 4 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆44Updated last week
• 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
• facebookarchive / propfuzz
  A Rust toolkit to combine property-based testing and fuzzing.
  ☆136Updated 3 years ago
• chenglou / jon-blow-video-outlines
  Outlines for Jon Blow's YouTube videos on games, programming and more.
  ☆21Updated last year
• levjj / esverify
  ECMAScript verification with SMT solvers
  ☆124Updated last year
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• cfallin / weval
  ☆174Updated 2 months ago
• WebAssembly / multi-value
  Proposal to add multi-values to WebAssembly
  ☆75Updated 4 years ago
• fitzgen / peepmatic
  A DSL and compiler for generating peephole optimizers for Cranelift
  ☆64Updated 5 years ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆117Updated 3 years ago
• lark-exploration / lark
  A demand-driven compiler with strong IDE support
  ☆195Updated 3 years ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆44Updated 9 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 10 months ago
• bytecodealliance / sightglass
  A benchmark suite and tool to compare different implementations of the same primitives.
  ☆80Updated 4 months ago
• fplab / ui-for-pl
  User Interfaces for Programming Languages: The Compendium
  ☆28Updated 4 years ago
• bytecodealliance / wasmparser
  A simple event-driven library for parsing WebAssembly binary files
  ☆180Updated 5 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆20Updated 7 years ago
• josephg / textot.rs
  Text operational transform library, for rust. Compatible with libot, ottypes/text.
  ☆27Updated 4 years ago
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆179Updated 2 weeks ago
• fitzgen / wasm-smith
  A WebAssembly test case generator
  ☆43Updated 5 years ago
• mgaudet / SpiderMonkeyBibliography
  The Unofficial Incomplete Spidermonkey Bibliography
  ☆17Updated last year
• nikomatsakis / bidir-type-infer
  Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust
  ☆46Updated 9 years ago