Glavo / GraalLua
A Lua implementation built on GraalVM (In development)
☆12Updated 10 months ago
Alternatives and similar repositories for GraalLua:
Users that are interested in GraalLua are comparing it to the libraries listed below
- ☆12Updated 3 years ago
- Erlang implementation built on GraalVM/Truffle☆13Updated 5 years ago
- Low-level OCaml/Java interface☆13Updated 8 months ago
- ☆13Updated last year
- Memory Management ToolKit☆35Updated 2 weeks ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- A pauseless garbage collector in C.☆10Updated 2 years ago
- RUst way for Reuse Analysis☆12Updated last year
- SML The Living Language☆11Updated 11 years ago
- OpenJDK binding for MMTk☆34Updated last week
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated last month
- Purely functional data structures in Koka☆10Updated 3 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 6 years ago
- Cicada Language (PLCT little team)☆92Updated 4 months ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Updated 5 months ago
- The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…☆14Updated 5 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 6 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- Simple Java Virtual Machine written in pure Rust☆36Updated 8 months ago
- ☆11Updated last month
- Compile JavaScript to Native Code☆28Updated 5 years ago
- Zombie chan revive!☆24Updated last year
- A toy IO library for Arend☆18Updated 4 years ago
- Elaboration with inductive types☆16Updated last year
- ☆23Updated 2 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- My type-ups for copilot to learn from.☆11Updated 2 years ago
- A modern functional programming language with effect system.☆19Updated last year