Rust

A statically-typed compiled language for safety-critical embedded systems, with Z3-verified contracts and self-healing runtime blocks

A tiny Rust simulator for the online parking-spot problem with switching costs.