cfallin / wevalLinks
☆174Updated 4 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☆110Updated 4 months ago
- A repository for the stack switching proposal.☆183Updated 2 months ago
- ☆58Updated 5 months ago
- Test materials for getting JIT support for wizer☆120Updated 3 years ago
- ☆216Updated last year
- Simple live calculator in tree-sitter + cranelift jit☆75Updated last year
- an experimental new programming language based on interaction nets☆335Updated this week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆230Updated last year
- ☆132Updated 2 weeks ago
- What do you call a pointer we stole the high bits off? An ointer.☆89Updated 2 weeks ago
- Wasm SpecTec specification tools☆81Updated last week
- Functional language with a powerful type system.☆172Updated last year
- Research WebAssembly Engine☆474Updated this week
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- 🪄 Tiny challenges for learning WebAssembly☆67Updated 11 months ago
- Minimal Prolog implemented in Rust☆46Updated 2 months ago
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆129Updated last month
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆223Updated last year
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 10 months ago
- world's worst interpreter☆66Updated 8 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆46Updated last year
- hindley-milner algorithm☆62Updated 2 years ago
- ☆65Updated 2 years ago
- Debugging WebAssembly? Put some Whamm! on it.☆63Updated last week
- Resilient LL(1) parser generator for Rust☆183Updated last week
- Seamless bug-finding for C, C++, Rust, Wasm and Zig☆271Updated last week
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆266Updated 2 years ago
- ☆31Updated 10 months ago
- self adjusting computations in rust☆137Updated 4 years ago