cfallin / weval

Related projects ⓘ

Alternatives and complementary repositories for weval

• cfallin / waffle
  ☆58Updated 2 months ago
• SaberVM / SaberVM
  ☆197Updated 4 months ago
• WebAssembly / stack-switching
  A repository for the stack switching proposal.
  ☆146Updated 3 weeks ago
• yorickpeterse / pattern-matching-in-rust
  Pattern matching and exhaustiveness checking algorithms implemented in Rust
  ☆213Updated 3 weeks ago
• chc4 / lineiform
  A meta-JIT library for Rust interpreters
  ☆159Updated last year
• linkdd / letlang
  Functional language with a powerful type system.
  ☆165Updated 9 months ago
• linkdd / astmaker
  Build Abstract Syntax Trees and tree-walking models quickly in Rust.
  ☆120Updated 10 months ago
• 0x2a-42 / lelwel
  Resilient LL(1) parser generator for Rust
  ☆124Updated last month
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆396Updated last week
• makepad / stitch
  Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.
  ☆116Updated 6 months ago
• yeslogic / fathom
  🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
  ☆258Updated last year
• twolodzko / prolog-rs
  Minimal Prolog implemented in Rust
  ☆42Updated 2 months ago
• rust-analyzer / ungrammar
  ☆310Updated 3 weeks ago
• sampsyo / flatcalc
  world's worst interpreter
  ☆50Updated 4 months ago
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆54Updated last year
• matklad / resilient-ll-parsing
  ☆49Updated last year
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆201Updated 2 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆62Updated last year
• domenicquirl / cstree
  Concrete Syntax Tree library
  ☆87Updated 3 weeks ago
• titzer / wizard-engine
  Research WebAssembly Engine
  ☆379Updated this week
• paulstansifer / unseemly
  Macros have types!
  ☆130Updated last year
• alumina-lang / alumina
  A general purpose programming language
  ☆175Updated last month
• dylibso / hermit
  Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries
  ☆201Updated 2 months ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆106Updated 2 years ago
• s-arash / ascent
  Logic programming in Rust
  ☆416Updated last week
• JasonSteving99 / claro-lang
  Claro Lang
  ☆138Updated 6 months ago
• WebAssembly / shared-everything-threads
  A draft proposal for spawning threads in WebAssembly
  ☆44Updated 3 weeks ago
• SamGinzburg / VectorVisor
  VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…
  ☆147Updated last month
• FastVM / Web49
  Web49: WebAssembly Interpeter
  ☆324Updated last year
• morphic-lang / morphic
  Pure functional programming with whole-program mutability inference
  ☆50Updated last week