Evergreen: A Provably Safe Systems Language
33 points by jordan_bonecut
Evergreen is a new systems programming language designed to integrate invariants directly into the code, enhancing safety and reliability. Users can test its functionality through a real compiler available in their web browser using WebAssembly.