cfallin / wevalLinks
☆174Updated last month
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☆100Updated last month
- A repository for the stack switching proposal.☆178Updated this week
- ☆58Updated 2 months ago
- ☆212Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 10 months ago
- Test materials for getting JIT support for wizer☆116Updated 3 years ago
- an experimental new programming language based on interaction nets☆306Updated 2 weeks ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆225Updated 11 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆87Updated 2 years ago
- Functional language with a powerful type system.☆172Updated last year
- Research WebAssembly Engine☆457Updated this week
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆221Updated last year
- ☆122Updated last month
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 7 months ago
- world's worst interpreter☆62Updated 5 months ago
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆122Updated this week
- Minimal Prolog implemented in Rust☆45Updated last year
- A programming language that is a minimal subset of Rust☆275Updated last month
- Concrete Syntax Tree library☆104Updated last week
- A modern supercompiler for call-by-value functional languages☆426Updated last month
- Wasm SpecTec specification tools☆71Updated 2 weeks ago
- hindley-milner algorithm☆62Updated 2 years ago
- self adjusting computations in rust☆136Updated 4 years ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated 2 years ago
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 9 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- 👌 A smol functional language that targets other languages☆64Updated last year
- Debugging WebAssembly? Put some Whamm! on it.☆39Updated this week