The Deed programming language. Built for code that agents write and humans review.
language programming-language rust interpreter compiler refinement-types deed type-checker design-by-contract effect-system capability-based-security deedlang
-
Updated
Jul 30, 2026 - Rust