deed
The Deed programming language. Built for code that agents write and humans review.
Deed 编程语言。专为代理编写、人类审查的代码而设计。
How to install
No unified install command; see the repository README.
About
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…
Recommendation signals
Meta
- License
- Apache-2.0
- Language
- Rust
- GitHub stars
- 8
- mo. downloads
- –
- Last push
- 2026-08-14
- Created
- 2026-07-25
Links
Basic safety check
- Findings
- curated 收录但无 npm 包/安装命令
- Sources
- curated:punkpeye/awesome-mcp-servers
- Topics
- capability-based-security, compiler, deed, deedlang, design-by-contract, effect-system, interpreter, language, programming-language, refinement-types, rust, type-checker
Related plugins
langfuse
langfuse/langfuse
🪢 Open source agent evals & observability: Trace, evaluate, and improve LLM applications with one open platform.
claude-code-templates
davila7/claude-code-templates
CLI tool for configuring and monitoring Claude Code
semiotic
nteract/semiotic
React data visualization library for streaming, networks, and AI-assisted development
dsh-desktop
dataelement/dsh-desktop
DSHDesktop：DeepSeek Harness Desktop / DeepSeek Harness 桌面版