Alternatives and similar repositories for WebAssembly-illustrated

Users that are interested in WebAssembly-illustrated are comparing it to the libraries listed below

• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆80Updated last week
• bytecodealliance / sightglass
  A benchmark suite and tool to compare different implementations of the same primitives.
  ☆75Updated 3 weeks ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆50Updated this week
• cfsamson / examples-node-eventloop
  An example on implementing the interesting part of Nodes event loop and async story
  ☆56Updated 4 years ago
• pepyakin / binaryen-rs
  Binaryen bindings for Rust.
  ☆77Updated 2 months ago
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• dylibso / wasmstore
  A content-addressable datastore for WebAssembly modules
  ☆54Updated 7 months ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated 2 years ago
• paritytech / wasm-instrument
  Instrument and transform wasm modules.
  ☆51Updated 9 months ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆158Updated 2 months ago
• jaked / reconstructing-typescript
  Code and demos for Reconstructing TypeScript blog posts.
  ☆35Updated 2 years ago
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆30Updated last year
• bytecodealliance / wasm-interface-types
  Raw Rust toolchain support for Wasm Interface Types
  ☆71Updated 4 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 4 years ago
• sliminality / wasm-trace
  instrumenting wasm binaries to trace function execution
  ☆47Updated 5 years ago
• pepyakin / wabt-rs
  WABT bindings for Rust
  ☆81Updated 2 years ago
• btq-ag / keelung
  The Keelung Language
  ☆51Updated 8 months ago
• ekmett / kanso
  just a place to throw some coding experiements while i re-re-re-learn rust
  ☆15Updated 2 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆91Updated 6 years ago
• ColinEberhardt / wasmweekly
  Website for the WebAssembly weekly newsletter
  ☆75Updated last year
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆48Updated 2 years ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆44Updated 9 years ago
• pandaman64 / effective-rust
  ☆150Updated 5 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 4 years ago
• bytecodealliance / rfcs
  RFC process for Bytecode Alliance projects
  ☆65Updated last month
• bytecodealliance / wasmparser
  A simple event-driven library for parsing WebAssembly binary files
  ☆179Updated 4 years ago
• nikomatsakis / great-pl-papers
  Exploring awesome PL papers in redex
  ☆19Updated 3 years ago
• nikomatsakis / rust-of-my-dreams
  A playground for thinking about what Rust could be like
  ☆23Updated 8 months ago