cfallin / wevalLinks
☆174Updated 5 months ago
Alternatives and similar repositories for weval
Users that are interested in weval are comparing it to the libraries listed below
Sorting:
- the WebAssembly partial evaluator☆112Updated 5 months ago
- A repository for the stack switching proposal.☆187Updated 3 months ago
- ☆58Updated 7 months ago
- Test materials for getting JIT support for wizer☆122Updated 3 years ago
- ☆218Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆75Updated last year
- an experimental new programming language based on interaction nets☆338Updated this week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆232Updated last year
- Research WebAssembly Engine☆482Updated last week
- What do you call a pointer we stole the high bits off? An ointer.☆90Updated last month
- Functional language with a powerful type system.☆172Updated 2 years ago
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- ☆139Updated last week
- Wasm SpecTec specification tools☆84Updated last week
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆223Updated last year
- The practical relational programing language for data-oriented applications☆214Updated 3 years ago
- 🪄 Tiny challenges for learning WebAssembly☆67Updated last year
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 11 months ago
- A modern supercompiler for call-by-value functional languages☆465Updated 2 months ago
- Minimal Prolog implemented in Rust☆46Updated this week
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆129Updated 2 months ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆268Updated 2 years ago
- Resilient LL(1) parser generator for Rust☆186Updated last month
- ☆332Updated last month
- hindley-milner algorithm☆62Updated 2 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆64Updated 2 years ago
- ☆67Updated 2 years ago
- ☆31Updated 11 months ago
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆258Updated last month