A modular, from‑scratch compiler for a Rust‑like systems language, written in Rust. Complete pipeline: lexing, parsing, name resolution, HIR/MIR, type inference & trait solving, NLL borrow checking, optimisations, and dual backends (LLVM + bytecode VM) — with LSP, a built‑in test harness, and 20+ focused crates
programming-language rust parser compiler lexer type-inference mir from-scratch hir borrow-checker trait-solving
-
Updated
Sep 11, 2026 - Rust