Evergreen — Provably Safe Systems Code
evergreenlang.net
Evergreen is a systems language that makes invariants part of your code. Try its real compiler in your browser with WebAssembly.