Alternatives and similar repositories for impractical-wasm

Users that are interested in impractical-wasm are comparing it to the libraries listed below

• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆21Updated 10 months ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆31Updated last week
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆25Updated 2 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆60Updated 7 months ago
• ltratt / rustbfs
  Rust BF interpreters
  ☆12Updated last year
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆20Updated this week
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆48Updated 6 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 9 months ago
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated last year
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆30Updated 11 months ago
• Wilfred / garden
  an interactive programming language
  ☆44Updated last week
• zyedidia / wasm2bin
  Compiler from Webassembly to native binaries
  ☆11Updated last year
• codedot / inet-lib
  JavaScript Engine for Interaction Nets
  ☆8Updated 7 years ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated 10 months ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆32Updated 8 months ago
• dada-lang / dada-model
  Why can't a tree be called Pluplusch?
  ☆28Updated last month
• nooga / fy
  A a tiny concatenative programming language JIT compiled to aarch64 machine code.
  ☆12Updated last year
• graydon / panic-room
  ☆16Updated 11 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆18Updated 3 years ago
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆20Updated last week
• ehatti / LHL
  Linearizability Hoare Logic
  ☆14Updated 2 months ago
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆12Updated last year
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• mcy / alkyne
  ☆23Updated 3 years ago
• jimmyhmiller / beagle
  The beginnings of a fast, modern, multithreaded, dynamically typed langauge
  ☆18Updated this week
• pimlu / fractran
  World's fastest FRACTRAN interpeter
  ☆14Updated 2 years ago
• geofft / gtrace
  An implementation of strace in Rust, and a library interface
  ☆22Updated 7 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated last month