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"
  ☆24Updated last year
• graydon / exhaustigen
  ☆11Updated 4 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆62Updated this week
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• bytecodealliance / waffle
  Wasm Analysis Framework For Lightweight Experiments
  ☆53Updated 5 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆28Updated 3 years ago
• langston-barrett / mogglo
  Multi-language AST-based code search and rewriting tool that supports embedding Lua code in patterns
  ☆33Updated last year
• tangentstorm / bex
  A rust crate for boolean expressions (expression trees, decision diagrams, etc.)
  ☆36Updated 3 weeks ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated last year
• rljacobson / lifetimes
  A lifetime inference algorithm for the Rust programming language written in Soufflé.
  ☆25Updated 6 years ago
• aetilley / harrison-rust
  Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)
  ☆20Updated 7 months ago
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆43Updated last month
• oovm / jupyter-protocol
  Jupyter Kernel Protocol for rust
  ☆14Updated 2 months ago
• badicsalex / peginator
  PEG parser generator for creating ASTs in Rust
  ☆41Updated last year
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆25Updated 2 years ago
• MarcelGarus / martinaise
  A small, statically typed, low-level programming language.
  ☆24Updated 3 months ago
• AdrienChampion / hashconsing
  A Rust hashconsing library.
  ☆37Updated last year
• rodrimati1992 / type_level
  Libraries for declaring and using type-level values.
  ☆11Updated 6 years ago
• bryal / kvasir
  A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera
  ☆21Updated 3 years ago
• Agnishom / lregex
  Verified and Efficient Matching of Regular Expressions with Lookaround
  ☆24Updated last year
• xtuc / wasm-custom-section
  ☆11Updated 9 months ago
• pornin / cycle-counter
  ☆24Updated last year
• matklad / miniml
  ☆22Updated 9 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• mthom / prolog_parser
  An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.
  ☆16Updated 4 years ago
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆110Updated 3 months ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• ehwan / RustyLR
  bison-like Parser generator & Compiler frontend framework that generate optimised IELR(1)/LALR(1) tables with Deterministic LR and Non-De…
  ☆23Updated 2 months ago
• c-cube / batsat
  A (parametrized) Rust SAT solver originally based on MiniSat
  ☆32Updated 11 months ago
• gennyble / hext
  A Binary File Markup Language
  ☆24Updated 3 years ago