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:
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- old cicada attempt in rs☆4Updated last year
- SML The Living Language☆11Updated 11 years ago
- Garbage collector implementation in Rust for Rust☆13Updated 4 years ago
- A Red-Black tree implemented in rust....for science!☆10Updated 4 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- LLVM IR Binding for Rust☆13Updated 4 years ago
- Error return tracing in Rust. Still WIP☆11Updated 3 years ago
- The uncurried minimal functional programming language for CPS transformation☆18Updated last year
- Learning compilers, interpreters, code generation, virtual machines, assemblers, JITs, etc.☆58Updated last year
- Let's (possibly) build a JIT!☆29Updated last year
- Type-Level Programming in Rust☆27Updated 3 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Updated 7 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Documented version of a simple type-theoretic language: Mini-TT☆18Updated 6 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Updated last month
- Interpreted language and bytecode VM of my own design written in Rust [Unmaintained]☆28Updated 6 years ago
- An implementation of Scheme R7RS-small in 48 working hours.☆19Updated 5 years ago
- VSCode extension for the Arend language☆11Updated 2 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆14Updated 5 years ago
- A layer of syntactic sugar between Rust and inline assembly☆11Updated 6 years ago
- Working through the Rust book☆13Updated 5 years ago
- How to make a new language(and why we shouldn't?)☆40Updated last year
- My PhD Thesis☆14Updated 3 years ago
- Structurally-typed strict functional core language☆19Updated 8 months ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Scheme(R7RS) interpretor/compiler rust implementation☆66Updated 2 years ago