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☆112Updated 4 months ago
- A repository for the stack switching proposal.☆185Updated 2 months ago
- Simple live calculator in tree-sitter + cranelift jit☆75Updated last year
- ☆58Updated 6 months ago
- ☆218Updated last year
- Test materials for getting JIT support for wizer☆121Updated 3 years ago
- an experimental new programming language based on interaction nets☆337Updated this week
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆123Updated 2 years ago
- Research WebAssembly Engine☆481Updated last week
- What do you call a pointer we stole the high bits off? An ointer.☆90Updated last month
- Functional language with a powerful type system.☆172Updated last year
- Minimal Prolog implemented in Rust☆46Updated 3 months ago
- ☆138Updated last month
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆231Updated last year
- Wasm SpecTec specification tools☆82Updated this week
- The practical relational programing language for data-oriented applications☆213Updated 3 years ago
- A meta-JIT library for Rust interpreters☆164Updated 2 years ago
- world's worst interpreter☆67Updated 8 months ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆43Updated 10 months ago
- 🪄 Tiny challenges for learning WebAssembly☆67Updated last year
- Stitch is an experimental Wasm interpreter written in Rust that is designed to be very fast and lightweight.☆129Updated last month
- Resilient LL(1) parser generator for Rust☆185Updated 3 weeks ago
- Actually Portable WebAssembly compiler toolchain for self-contained cross-platform binaries☆223Updated last year
- ☆42Updated 5 months ago
- ☆309Updated 2 weeks ago
- 🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧☆268Updated 2 years ago
- self adjusting computations in rust☆137Updated 4 years ago
- Fast webserver with predictable memory usage☆195Updated last year
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆153Updated 6 months ago
- The compiler for the Claw language☆123Updated 3 months ago