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
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Updated 3 years ago
- An experimental RVSDG optimizer for brainfuck code☆24Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Unleash the power of nightly Rust to write code that's generic over mutation!☆24Updated 4 years ago
- ☆19Updated last year
- Scope Graph Implementation in Rust☆22Updated 4 months ago
- Macros have types!☆129Updated 2 years ago
- ☆16Updated 3 years ago
- Zero overhead tracing garbage collection for rust (WIP)☆50Updated 9 months ago
- A prototype of my proposed name resolution algorithm for Rust.☆12Updated 9 years ago
- A WIP little dependently-typed systems language☆41Updated 8 months ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Macro assembler for Rust☆35Updated last year
- Safely transmute type to itself in generic context in Rust☆14Updated 2 years ago
- An interface for writing a RustTypeChecker.☆42Updated 2 years ago
- A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.☆52Updated 3 years ago
- yk packages☆32Updated this week
- RRust, a reversible Rust DSL☆40Updated 4 months ago
- FerrisGC is a thread safe Garbage Collector implementation for Global (between threads) and Local (per thread) Garbage Collector☆18Updated 4 years ago
- Debug RefCell which keeps track of stack traces in debug mode☆24Updated last year
- Mostly safe wrapper for alloca☆25Updated last year
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- replacement for std::{Range,RangeInclusive}☆36Updated 2 years ago
- A dependent type system built entirely in Rust's trait system (WIP).☆25Updated 6 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆97Updated 2 years ago
- it goes zoom zoom☆45Updated last year
- A Discord bot for the Community Rust Language server, written in Python.☆16Updated last year
- [WIP] Compiler for the Limonite programming language.☆14Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 4 years ago