Albite – a self-hosted, dependently typed language with Rust syntax