kvverti / rusty-lavenderLinks
The third iteration of the Lavender programming language, implemented in Rust.
☆13Updated 4 years ago
Alternatives and similar repositories for rusty-lavender
Users that are interested in rusty-lavender are comparing it to the libraries listed below
Sorting:
- An experimental RVSDG optimizer for brainfuck code☆24Updated 3 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- ☆19Updated 2 years ago
- A highly experiment portable runtime☆20Updated last year
- ☆16Updated 3 years ago
- Macros have types!☆131Updated 2 years ago
- Rust testing framework for compilers and VMs☆51Updated 6 months ago
- A fully-featured lexer generator, implemented as a proc macro☆70Updated 3 months ago
- Lightning Creations Compiler Frontend for various languages☆118Updated 9 months ago
- BrainFuck translation tool with RVSDG optimizations☆13Updated last year
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- WLambda - Embeddable Scripting Language for Rust☆53Updated 3 months ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- Scope Graph Implementation in Rust☆27Updated 9 months ago
- We have Crater At Home☆36Updated 10 months ago
- ☆52Updated 3 weeks ago
- RRust, a reversible Rust DSL☆42Updated 9 months ago
- Safely transmute type to itself in generic context in Rust☆14Updated 2 years ago
- Unleash the power of nightly Rust to write code that's generic over mutation!☆23Updated 4 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- yk packages☆33Updated this week
- Macro assembler for Rust☆35Updated last year
- Cross platform software buffer submission to the display server☆17Updated 2 years ago
- A rust crate which implements nanboxing☆21Updated 7 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- [WIP] Compiler for the Limonite programming language.☆14Updated 3 years ago
- hindley-milner algorithm☆62Updated 2 years ago
- Home of the "types team", affiliated with the compiler and lang teams.☆97Updated last year
- Propositional logic with types in Rust☆63Updated 2 years ago