condy0919 / ruaLinks
Lua dialect in rust
☆22Updated 4 years ago
Alternatives and similar repositories for rua
Users that are interested in rua are comparing it to the libraries listed below
Sorting:
- A simple prolog implementation in Rust☆26Updated 4 years ago
- How to make a new language(and why we shouldn't?)☆40Updated 2 years ago
- Let's (possibly) build a JIT!☆28Updated last year
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 5 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 4 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Updated 5 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Scheme(R7RS) interpretor/compiler rust implementation☆66Updated 3 years ago
- Greenspunning Rust's macro_rules!☆33Updated 7 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 5 months ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 7 years ago
- Talking about classical logic and abstract algebra in Haskell☆16Updated 4 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Placeholder for the OwO compiler☆60Updated 6 years ago
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆58Updated last year
- Type-Level Programming in Rust☆27Updated 3 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆120Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆53Updated 7 months ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 7 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- ☆64Updated 8 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- Rust LLVM bindings☆31Updated 2 years ago
- Automatic peephole optimizer for Cranelift JIT compiler☆19Updated 4 years ago
- racket llvm C-API bindings☆18Updated 3 months ago