Cap'n Proto library and code generator for Go
Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)
RChain liquid democracy demo: capability sharing, mailbox, directory, chat, ...
Eselsohr is a self-hostable bookmark manager for storing web articles.
Proof of Concept of using Sign-In with Ethereum (EIP 4361) in conjunction with CACAO (CASA) to specify object capabilities on Ceramic Network
Capability-security kernel for autonomous agents — seccomp/SELinux for agentic AI. Formal, auditable, language-agnostic, cryptographically verifiable.
Capability-secure WASM plugin sandbox (F# host + Rust plugins) with an AI code-review skill: plugins get only the authority their policy grants
A language where subtle wrongness is a compile error and dangerous power is unreachable by default. Built for code written by LLMs. Capabilities + contracts, implemented in Rust.
A capability-security OS design taken from mathematics to a running, kernel-enforced demo on seL4. An educational research project — a model and prototype, not a production OS.
Add a description, image, and links to the object-capabilities topic page so that developers can more easily learn about it.
To associate your repository with the object-capabilities topic, visit your repo's landing page and select "manage topics."