Get the latest tech news

Evergreen: A Provably Safe Systems Language

Evergreen is a systems language that makes invariants part of your code. Try its real compiler in your browser with WebAssembly.

None

Get the Android app