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☆106Updated last month
- A repository for the stack switching proposal.☆179Updated this week
- ☆212Updated last year
- ☆58Updated 3 months ago
- an experimental new programming language based on interaction nets☆310Updated this week
- Test materials for getting JIT support for wizer☆116Updated 3 years ago
- Simple live calculator in tree-sitter + cranelift jit☆75Updated 10 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☆226Updated 11 months ago
- Functional language with a powerful type system.☆172Updated last year
- ☆124Updated last month
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 9 months ago
- What do you call a pointer we stole the high bits off? An ointer.☆88Updated 2 years ago
- Research WebAssembly Engine☆459Updated this week
- Wasm SpecTec specification tools☆75Updated last week
- The practical relational programing language for data-oriented applications☆211Updated 2 years ago
- Minimal Prolog implemented in Rust☆45Updated 2 weeks ago
- A meta-JIT library for Rust interpreters☆165Updated 2 years ago
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆219Updated last year
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆123Updated this week
- A programming language that is a minimal subset of Rust☆277Updated last week
- Debugging WebAssembly? Put some Whamm! on it.☆44Updated this week
- A modern supercompiler for call-by-value functional languages☆427Updated last month
- Concrete Syntax Tree library☆108Updated 3 weeks ago
- Resilient LL(1) parser generator for Rust☆174Updated last month
- world's worst interpreter☆62Updated 6 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆266Updated 2 years ago
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 4 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 8 months ago