Alternatives and similar repositories for impractical-wasm:

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

• ltratt / rustbfs
  Rust BF interpreters
  ☆12Updated last year
• codedot / inet-lib
  JavaScript Engine for Interaction Nets
  ☆8Updated 7 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆55Updated 5 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated 2 weeks ago
• hannobraun / crosscut
  An experimental project to create an interactive programming language.
  ☆17Updated this week
• KaiserKarel / set-trie
  Fast subset and superset queries based on tries.
  ☆11Updated last year
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆27Updated 2 weeks ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆32Updated this week
• jimmyhmiller / beagle
  The beginnings of a fast, modern, multithreaded, dynamically typed langauge
  ☆18Updated 3 weeks ago
• lukaszlew / call-by-need-in-rust
  Simple implementation of call-by-need lazy lambda calculus in Rust.
  ☆16Updated last year
• graydon / panic-room
  ☆16Updated 9 months ago
• nooga / fy
  A a tiny concatenative programming language JIT compiled to aarch64 machine code.
  ☆12Updated last year
• thaliaarchi / notes
  A notebook on compilers, programming languages, and other topics.
  ☆15Updated last month
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• sldty / kitbag
  Kitbag is a content-addressed versioned tree-structured graph-based datastore.
  ☆14Updated 3 years ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆46Updated 5 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆23Updated 2 years ago
• surprisetalk / smel
  ☆13Updated last month
• jameysharp / pikevm
  An implementation of "Regular Expression Matching: the Virtual Machine Approach"
  ☆14Updated 8 months ago
• Wilfred / garden
  an interactive programming language
  ☆36Updated this week
• axodotdev / axolotlsay
  💬 a CLI for learning to distribute CLIs in rust
  ☆28Updated 3 months ago
• RReverser / wasmbin
  A self-generating WebAssembly parser & serializer in Rust.
  ☆18Updated 2 weeks ago
• hdevalence / text_tree
  dom-like layout for terminal applications
  ☆13Updated 4 years ago
• LightAndLight / ipso
  A functional scripting language.
  ☆18Updated 3 months ago
• fitzgen / winliner
  The WebAssembly Indirect Call Inliner
  ☆26Updated last year
• tosc-rs / mgnp
  MnemOS Global Networking Protocol
  ☆16Updated last year
• fprasx / peapod
  Ultra-compact storage for collections of enums 🌱
  ☆22Updated 2 years ago
• matklad / miniml
  ☆22Updated 8 years ago
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆20Updated this week