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:
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 4 years ago
- An experimental RVSDG optimizer for brainfuck code☆24Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- ☆16Updated 4 years ago
- BrainFuck translation tool with RVSDG optimizations☆13Updated last year
- ☆22Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- We have Crater At Home☆36Updated last year
- Macros have types!☆134Updated 2 years ago
- Rust testing framework for compilers and VMs☆51Updated 9 months ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆10Updated this week
- A macro for defining type operators in Rust.☆65Updated 8 years ago
- yk packages☆33Updated last week
- A highly experiment portable runtime☆21Updated last year
- Unleash the power of nightly Rust to write code that's generic over mutation!☆23Updated 4 years ago
- experimental datalog rules for a next gen polonius☆19Updated 3 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 7 years ago
- A fully-featured lexer generator, implemented as a proc macro☆71Updated 6 months ago
- Scope Graph Implementation in Rust☆28Updated last year
- A rust crate which implements nanboxing☆22Updated 8 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated 2 years ago
- ☆22Updated 3 years ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Updated 10 years ago
- A WIP little dependently-typed systems language☆41Updated last year
- ☆53Updated 3 months ago
- [WIP] Compiler for the Limonite programming language.☆14Updated 3 years ago
- Reversible programming language☆12Updated 5 years ago
- An experimental programming language for ergonomic software verification☆16Updated last month
- A gradually typed language originally based on the crafting interpreters series☆65Updated 4 months ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year