Alternatives and similar repositories for student-projects

Users that are interested in student-projects are comparing it to the libraries listed below

• titzer / wizard-engine
  Research WebAssembly Engine
  ☆451Updated this week
• cfallin / waffle
  ☆58Updated 2 months ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆20Updated 4 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆36Updated 2 weeks ago
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆178Updated 3 weeks ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆59Updated 2 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆97Updated 3 weeks ago
• DLR-FT / wasm-interpreter
  A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies
  ☆21Updated this week
• composablesys / wirm
  WebAssembly Transformation Library for the Component Model
  ☆27Updated this week
• cfallin / weval
  ☆174Updated 3 weeks ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆82Updated 2 years ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆115Updated 2 years ago
• bytecodealliance / sightglass
  A benchmark suite and tool to compare different implementations of the same primitives.
  ☆78Updated 2 months ago
• secure-foundations / rWasm
  A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
  ☆36Updated last year
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆138Updated 2 weeks ago
• OCamlPro / owi
  Symbolic execution for Wasm, C, C++, Rust and Zig
  ☆248Updated this week
• AeneasVerif / eurydice
  Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆114Updated this week
• WebAssembly / wasi-testsuite
  WASI Testsuite
  ☆64Updated this week
• sampsyo / flatcalc
  world's worst interpreter
  ☆62Updated 4 months ago
• microsoft / verona-rt
  The runtime for the Verona project
  ☆34Updated 2 months ago
• jedisct1 / webassembly-benchmarks
  Libsodium WebAssembly benchmarks results.
  ☆83Updated 2 years ago
• git-bruh / vmm
  Small KVM-based hypervisor, boots Linux (WIP)
  ☆13Updated last year
• PLSysSec / wave
  Verified Wasm runtime
  ☆29Updated last year
• sola-st / wasm-r3
  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
  ☆33Updated 3 months ago
• WebAssembly / exception-handling
  Proposal to add exception handling to WebAssembly
  ☆167Updated 6 months ago
• Wilfred / garden
  an interactive programming language
  ☆48Updated this week
• minirust / specr
  ☆14Updated last month
• egraphs-good / eggcc
  An experimental optimizing compiler for Bril
  ☆76Updated this week
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆92Updated 2 weeks ago
• jameysharp / optir
  Compiler optimizer for arbitrary control flow based on equality saturation
  ☆103Updated 3 years ago