cfallin / wevalLinks
☆172Updated 9 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☆85Updated 3 weeks ago
- A repository for the stack switching proposal.☆172Updated 3 weeks ago
- ☆213Updated last year
- ☆58Updated 3 weeks ago
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 8 months ago
- an experimental new programming language based on interaction nets☆291Updated this week
- Test materials for getting JIT support for wizer☆111Updated 2 years ago
- ☆114Updated 4 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆221Updated 9 months ago
- Functional language with a powerful type system.☆172Updated last year
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆264Updated last year
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 7 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆87Updated last year
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆121Updated last year
- hindley-milner algorithm☆61Updated 2 years ago
- Research WebAssembly Engine☆441Updated last week
- Minimal Prolog implemented in Rust☆44Updated 10 months ago
- A modern supercompiler for call-by-value functional languages☆422Updated 3 months ago
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆216Updated 11 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆42Updated 5 months ago
- Fast webserver with predictable memory usage☆180Updated last year
- Resilient LL(1) parser generator for Rust☆164Updated last week
- The practical relational programing language for data-oriented applications☆209Updated 2 years ago
- The compiler for the Claw language☆118Updated 10 months ago
- Debugging WebAssembly? Put some Whamm! on it.☆36Updated 2 weeks ago
- A draft proposal for spawning threads in WebAssembly☆63Updated 3 weeks ago
- ☆56Updated 2 years ago
- Concrete Syntax Tree library☆99Updated last week