condy0919 / rua
Lua dialect in rust
☆22Updated 3 years ago
Alternatives and similar repositories for rua:
Users that are interested in rua are comparing it to the libraries listed below
- old cicada attempt in rs☆3Updated last year
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- Let's (possibly) build a JIT!☆29Updated last year
- SML The Living Language☆11Updated 11 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice☆9Updated 5 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- My PhD Thesis☆13Updated 3 years ago
- A Red-Black tree implemented in rust....for science!☆10Updated 4 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- Scheme(R7RS) interpretor/compiler rust implementation☆66Updated 2 years ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 6 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- library (and utility) for tracking filesystem changes☆17Updated 4 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated last month
- My branch of the Cyclone programming language☆19Updated 13 years ago
- Experimental JIT compiler generator☆27Updated last year
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆13Updated 4 years ago
- Low overhead, high precision measurement crate for Rust☆16Updated last month
- Theorems that rule this multiverse☆11Updated 6 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- Experimental Language based on Rust and Haskell☆51Updated 8 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 7 years ago
- racket llvm C-API bindings☆17Updated 5 months ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 6 years ago