A Soil interpreter written in Rust.

A byte code specification and a JIT-compiler written in Assembly.

SBB RaSTA Protocol Reference Stack

Source code of Ferrocene, safety-critical Rust toolchain

🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.

WebAssembly implementation from scratch in Safe Rust with zero dependencies

A library for making your programs more reliable

The inofficial HPI app, written in Flutter

Our Flutter based App for Android and iOS.