cfallin / weval
☆175Updated last week
Related projects: ⓘ
- A repository for the stack switching proposal.☆134Updated this week
- ☆60Updated last week
- ☆197Updated 2 months ago
- Functional language with a powerful type system.☆160Updated 7 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆206Updated 7 months ago
- Resilient LL(1) parser generator for Rust☆107Updated last month
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated 8 months ago
- A modern supercompiler for call-by-value functional languages☆366Updated this week
- Test materials for getting JIT support for wizer☆103Updated last year
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆114Updated 4 months ago
- A meta-JIT library for Rust interpreters☆158Updated last year
- A Lisp interpreter written fully in rust macros.☆227Updated this week
- Research WebAssembly Engine☆368Updated this week
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆260Updated last year
- A compiler for Standard ML, somewhat☆199Updated 2 years ago
- ☆307Updated 5 months ago
- Minimal Prolog implemented in Rust☆36Updated this week
- Fast webserver with predictable memory usage☆127Updated 3 months ago
- Samples of WebAssembly Text programs☆124Updated 11 months ago
- ☆48Updated last year
- A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set☆19Updated this week
- JIT codegen backend with SSA IR based on B3 from WebKit☆58Updated 10 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆85Updated last year
- world's worst interpreter☆47Updated 2 months ago
- Concrete Syntax Tree library☆83Updated 3 weeks ago
- A JS devtool orchestrator☆35Updated last week
- A general purpose programming language☆163Updated last week
- hindley-milner algorithm☆52Updated last year
- Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"☆56Updated 2 years ago
- logic programming in Rust☆387Updated 2 months ago