Alternatives and similar repositories for miri

Users that are interested in miri are comparing it to the libraries listed below

• rust-webplatform / rust-webplatform
  Rust library for Emscripten-compiled JS apps.
  ☆332Updated 7 years ago
• alexcrichton / wasm-gc
  gc-sections for wasm
  ☆251Updated 6 years ago
• dflemstr / v8-rs
  An idiomatic Rust wrapper for the V8 Javascript engine
  ☆108Updated 7 years ago
• AerialX / cargo-build
  Experiments with Rust and Emscripten
  ☆59Updated 9 years ago
• kainino0x / wasm-call-js-from-rust
  Minimal demo calling JavaScript from WebAssembly Rust code
  ☆71Updated 8 years ago
• cramertj / domafic-rs
  ☆147Updated 7 years ago
• dherman / esprit
  A JavaScript parser written in Rust
  ☆341Updated 3 years ago
• anowell / quasar
  An experimental rust-to-{wasm,asmjs} frontend framework.
  ☆184Updated 7 years ago
• rust-js / rjs
  Rust JavaScript interpreter
  ☆99Updated 9 years ago
• servo / rust-mozjs
  DEPRECATED - moved to servo/mozjs instead.
  ☆292Updated 2 years ago
• lord / wargo
  Easy Rust to WebAssembly
  ☆260Updated 7 years ago
• pcwalton / libui-rs
  Rust bindings to the minimalist, native, cross-platform UI toolkit `libui`
  ☆214Updated 8 years ago
• rust-lang-deprecated / rustc-serialize
  Deprecated serialization/deserialization for Rust
  ☆175Updated last year
• rust-webplatform / rust-todomvc
  Rust implementation of TodoMVC + Emscripten
  ☆242Updated 8 years ago
• mehcode / shio-rs
  Shio is a fast, simple, and asynchronous micro web-framework for Rust.
  ☆280Updated 7 years ago
• rust-dev-tools / cargo-src
  Semantic code navigation for Rust
  ☆417Updated 2 years ago
• ticki / cyano
  [WIP] Transpile Rust (MIR) to JavaScript.
  ☆76Updated 8 years ago
• losfair / wasm-core
  Portable WebAssembly implementation intended to run everywhere
  ☆80Updated 6 years ago
• jtomschroeder / cedar
  Rust framework for building visual/interactive applications
  ☆134Updated 5 years ago
• sunng87 / handlebars-iron
  Handlebars middleware for Iron web framework
  ☆118Updated 5 years ago
• m4rw3r / chomp
  A fast monadic-style parser combinator designed to work on stable Rust.
  ☆243Updated 3 years ago
• rust-lang / rust-roadmap-2017
  Tracking Rust's roadmap
  ☆215Updated 8 years ago
• serde-deprecated / syntex
  No longer maintained
  ☆113Updated 7 years ago
• alexcrichton / futures-await
  ☆735Updated 5 years ago
• mlalic / solicit
  An HTTP/2 implementation in Rust
  ☆339Updated 4 years ago
• Kimundi / greenwasm
  An implementation of the Webassembly spec in Rust
  ☆101Updated 6 years ago
• tailhook / rotor-http
  The mio/rotor based http server library for rust (UNMAINTAINED, use tk-http)
  ☆110Updated 8 years ago
• japaric-archived / rust-everywhere
  SUPERSEDED by https://github.com/japaric/trust
  ☆254Updated 8 years ago
• reem / rust-event
  A global event loop
  ☆108Updated 10 years ago
• losfair / IceCore
  Application container built for WebAssembly
  ☆111Updated 7 years ago