cfallin / weval
☆173Updated 3 months ago
Alternatives and similar repositories for weval:
Users that are interested in weval are comparing it to the libraries listed below
- A repository for the stack switching proposal.☆155Updated 2 weeks ago
- ☆199Updated 7 months ago
- ☆58Updated 4 months ago
- the WebAssembly partial evaluator☆45Updated 2 months ago
- Simple live calculator in tree-sitter + cranelift jit☆73Updated last month
- Functional language with a powerful type system.☆167Updated 11 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆119Updated last year
- A modern supercompiler for call-by-value functional languages☆398Updated this week
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆216Updated 3 months ago
- Test materials for getting JIT support for wizer☆104Updated 2 years ago
- A meta-JIT library for Rust interpreters☆161Updated last year
- Resilient LL(1) parser generator for Rust☆127Updated 2 weeks ago
- world's worst interpreter☆56Updated 6 months ago
- Research WebAssembly Engine☆396Updated this week
- A Lisp interpreter written fully in rust macros.☆273Updated 4 months ago
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆118Updated 8 months ago
- hindley-milner algorithm☆54Updated last year
- What do you call a pointer we stole the high bits off? An ointer.☆85Updated last year
- A port of Sebastian Aaltonen's `OffsetAllocator` to Rust☆398Updated 6 months ago
- Concrete Syntax Tree library☆89Updated 2 months ago
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆206Updated 4 months ago
- ☆51Updated last year
- The StarlingMonkey JS runtime☆130Updated this week
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆145Updated 8 months ago
- Compiler front-end foundation technology.☆450Updated 2 months ago
- Pure functional programming with whole-program mutability inference☆55Updated last week
- A compiler for Standard ML, somewhat☆202Updated 2 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆260Updated last year
- an experimental new programming language based on interaction nets☆28Updated this week