rush-rs / rushLinks
A simple programming language for researching different ways of program execution and compilation
☆34Updated last year
Alternatives and similar repositories for rush
Users that are interested in rush are comparing it to the libraries listed below
Sorting:
- hindley-milner algorithm☆62Updated 2 years ago
- QBE IR in natural Rust data structures☆115Updated last month
- Performance comparisons between various virtual interpreter implementation strategies☆45Updated last year
- an interactive programming language☆50Updated last week
- JIT codegen backend with SSA IR based on B3 from WebKit☆62Updated 2 years ago
- 👌 A smol functional language that targets other languages☆65Updated last year
- Functional language with a powerful type system.☆172Updated last year
- Minimal Prolog implemented in Rust☆45Updated 3 weeks ago
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 3 years ago
- The Solid-State Register Allocator☆87Updated 3 years ago
- A gradually typed language originally based on the crafting interpreters series☆64Updated 2 months ago
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆55Updated 4 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆226Updated 11 months ago
- (WIP) A programming language☆42Updated 9 months ago
- An experimental programming language for ergonomic software verification☆16Updated 3 weeks ago
- Program analysis playground for a simple, imperative language☆37Updated 3 years ago
- Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compile…☆108Updated 2 months ago
- A reasonable theorem prover for your reasoning tasks!☆26Updated 9 months ago
- Build Abstract Syntax Trees and tree-walking models quickly in Rust.☆122Updated last year
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆88Updated last month
- LR/GLR parser generator for Rust https://igordejanovic.github.io/rustemo/☆40Updated this week
- A programming language that is a minimal subset of Rust☆279Updated this week
- Pratt parser written in Rust☆91Updated last year
- ☆39Updated 4 years ago
- An experiment in an augmented error handling type for Rust☆40Updated last month
- The miniature, embeddable R7RS Scheme implementation in Rust☆107Updated this week
- Learn assembly with entirely too many brainfuck compilers☆57Updated 4 years ago
- Small powerful micro scripting language <1K SLOC☆61Updated 3 weeks ago
- Fir programming language☆81Updated last week
- a concurrent compiled programming language☆15Updated 3 years ago