Evergreen — Provably Safe Systems Code
Evergreen is a systems language that makes invariants part of your code. Try its real compiler in your browser with WebAssembly.
No discussion yet. Be the first to share your thoughts!
Evergreen is a systems language that makes invariants part of your code. Try its real compiler in your browser with WebAssembly.
No discussion yet. Be the first to share your thoughts!