kvverti / rusty-lavender
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
- An experimental RVSDG optimizer for brainfuck code☆24Updated 2 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- ☆19Updated last year
- We have Crater At Home☆32Updated 6 months ago
- yk packages☆32Updated this week
- ☆16Updated 3 years ago
- Unleash the power of nightly Rust to write code that's generic over mutation!☆24Updated 4 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Macro assembler for Rust☆35Updated last year
- RRust, a reversible Rust DSL☆40Updated 5 months ago
- Scope Graph Implementation in Rust☆27Updated 5 months ago
- Safely transmute type to itself in generic context in Rust☆14Updated 2 years ago
- Liquid Types implementation for Rust☆29Updated 2 years ago
- A WIP little dependently-typed systems language☆41Updated 8 months ago
- [WIP] Compiler for the Limonite programming language.☆14Updated 2 years ago
- A highly experiment portable runtime☆19Updated last year
- ☆38Updated last year
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 9 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 10 months ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- An interface for writing a RustTypeChecker.☆43Updated 2 years ago
- Macros have types!☆129Updated 2 years ago
- Generate bindings for Futhark☆37Updated 2 years ago
- Propositional logic evaluator and rule-based pattern matcher☆21Updated 2 years ago
- Rust bindings for libgccjit☆22Updated last week
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated last year
- ☆22Updated 3 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago