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 5 years ago
- Let's (possibly) build a JIT!☆28Updated 2 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 3 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 7 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Updated 5 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 5 years ago
- Talking about classical logic and abstract algebra in Haskell☆16Updated 4 years ago
- Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust☆120Updated 5 years ago
- Greenspunning Rust's macro_rules!☆33Updated 7 years ago
- Memory Management ToolKit☆37Updated 5 months ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 6 years ago
- Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.☆14Updated 5 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆59Updated last year
- How to make a new language(and why we shouldn't?)☆40Updated 2 years ago
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆86Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆32Updated 7 months ago
- A library for garbage collection in Rust.☆13Updated 4 years ago
- A super-simple compiler demoing how to talk to LLVM from Rust☆96Updated 9 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- An immutable singly-linked list, as seen in basically every functional language☆30Updated 2 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- Macros have types!☆134Updated 2 years ago
- An implementation of @phil_eaton compilers basic notes in Rust☆35Updated 6 years ago
- Modular register allocator algorithms☆105Updated 3 years ago
- Scheme(R7RS) interpretor/compiler rust implementation☆66Updated 3 years ago
- racket llvm C-API bindings☆18Updated 5 months ago
- Rust LLVM bindings☆31Updated 2 years ago
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Updated 9 years ago