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
- ☆22Updated 2 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
- Macros have types!☆134Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- We have Crater At Home☆36Updated last year
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 7 years ago
- Unleash the power of nightly Rust to write code that's generic over mutation!☆23Updated 5 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆113Updated 4 months ago
- A fully-featured lexer generator, implemented as a proc macro☆71Updated 6 months ago
- yk packages☆37Updated this week
- A highly experiment portable runtime☆21Updated last year
- Scope Graph Implementation in Rust☆28Updated last year
- [WIP] Compiler for the Limonite programming language.☆14Updated 3 years ago
- JIT codegen backend with SSA IR based on B3 from WebKit☆61Updated 2 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated last year
- Experimental type level programming in Rust☆41Updated 4 years ago
- Rust bindings for libgccjit☆27Updated 3 weeks ago
- Logic programming, for Rust, from inside Rust.☆44Updated 5 years ago
- A macro for defining type operators in Rust.☆65Updated 8 years ago
- An LLVM compiler for an ML-like language (written in Rust)☆61Updated 3 years ago
- A rust crate which implements nanboxing☆22Updated 8 years ago
- A gradually typed language originally based on the crafting interpreters series☆65Updated 4 months ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆10Updated 3 weeks ago
- A prototype of my proposed name resolution algorithm for Rust.☆13Updated 10 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆103Updated last year
- Propositional logic evaluator and rule-based pattern matcher☆21Updated 3 years ago