The Deed programming language. Built for code that agents write and humans review.
languageprogramming-languagerustinterpretercompilerrefinement-typesdeedtype-checkerdesign-by-contracteffect-systemcapability-based-securitydeedlang
-
Updated
Aug 14, 2026 - Rust