deed

怎么安装

暂无统一安装命令，请查看仓库 README。

简介

A contract-first language where a function signature is a promise the compiler checks. Built for code that machines write and humans review. **Status: the toolchain works; adoption is the open question.** The compiler lexes, parses, resolves names, checks types, contracts and effect rows, and runs programs through either the reference interpreter or a WebAssembly backend. deed build writes a core module, and --component writes a component when its exported values cross the canonical ABI. Programs get authority from explicit capabilities, with the same host rules in both engines. The largest un…

推荐参考

信息

协议

Apache-2.0

语言

Rust

GitHub 星标

8

月下载

–

最近更新

2026-08-14

创建于

2026-07-25

链接

基础安全检查

检查结果

curated 收录但无 npm 包/安装命令

收录来源

curated:punkpeye/awesome-mcp-servers

主题标签

capability-based-security, compiler, deed, deedlang, design-by-contract, effect-system, interpreter, language, programming-language, refinement-types, rust, type-checker