takenobu-hs / WebAssembly-illustrated

Related projects ⓘ

Alternatives and complementary repositories for WebAssembly-illustrated

• pepyakin / wabt-rs
  WABT bindings for Rust
  ☆82Updated last year
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆25Updated 4 months ago
• mariosangiorgio / rulox
  Implementation in Rust of lox, the language described in Crafting Interpreters
  ☆63Updated 3 years ago
• runtimeverification / wasm-semantics
  A Prototype Formal Semantics of WebAssembly in K
  ☆78Updated last week
• pandaman64 / effective-rust
  ☆149Updated 5 years ago
• Centril / refl
  Provides a Refl encoding in Rust
  ☆68Updated last year
• hayatoito / tapl-in-rust
  ☆23Updated 7 years ago
• wasmCloud / wascap
  Embed, extract, and validate capability claims in JWTs for WebAssembly modules
  ☆65Updated last year
• argumentcomputer / introit
  The Yatima Standard Library
  ☆20Updated 10 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆27Updated this week
• andresilva / rust-okasaki
  Purely Functional Data Structures in Rust
  ☆41Updated 8 years ago
• lazear / types-and-programming-languages
  Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
  ☆194Updated 4 years ago
• bytecodealliance / wasm-interface-types
  Raw Rust toolchain support for Wasm Interface Types
  ☆71Updated 3 years ago
• rust-lang / rustc-reading-club
  Rust Code Reading Clubs
  ☆142Updated 3 years ago
• maidsafe / crdt_tree
  ☆122Updated 9 months ago
• cfsamson / examples-node-eventloop
  An example on implementing the interesting part of Nodes event loop and async story
  ☆56Updated 4 years ago
• bytecodealliance / rfcs
  RFC process for Bytecode Alliance projects
  ☆62Updated last month
• pepyakin / binaryen-rs
  Binaryen bindings for Rust.
  ☆74Updated 7 months ago
• wapm-packages / rust-wasi-example
  A toy Rust application compiled to WASI WebAssembly
  ☆34Updated 3 years ago
• Marwes / pretty.rs
  Wadler-style pretty-printing combinators in Rust
  ☆143Updated last year
• LutrisEng / datom-rs
  An open-source database inspired by Datomic
  ☆29Updated 10 months ago
• poteto / monkers
  Bytecode compiler and VM for the Monkeylang language, written in Rust
  ☆46Updated last year
• WebAssembly / wasi-logging
  WASI logging API
  ☆19Updated last month
• wasmfx / wasmfxtime
  A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
  ☆19Updated this week
• plausiblelabs / lens-rs
  Functional lens library for Rust
  ☆104Updated 3 years ago
• bodil / palmtree
  Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.
  ☆26Updated 4 years ago
• ColinEberhardt / wasmweekly
  Website for the WebAssembly weekly newsletter
  ☆75Updated 7 months ago
• argumentcomputer / Wasm.lean
  A WebAssembly implementation in Lean4
  ☆32Updated 10 months ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆13Updated 3 years ago
• ferrite-rs / ferrite
  Session Type EDSL for Rust
  ☆100Updated 2 years ago