Evergreen: A Provably Safe Systems Language(evergreenlang.net)
96 points by jordan_bonecut | 85 comments
Landing page for Evergreen, a systems programming language with compiler-checked contracts, invariants, and memory tracking, plus an in-browser WebAssembly playground.