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-verification kernel for AI agents: signed capabilities in, deterministic Permit/Deny out. Formerly authgate-kernel. Apache-2.0.
Opaque references to sensitive values with per-axis information-flow labels, for Java
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.
Capability-secure WASM plugin sandbox (F# host + Rust plugins) with an AI code-review skill: plugins get only the authority their policy grants
Compile-time user and device authentication with an object-capability sandbox in C++26 - illegal authority is a compile error, not a run-time check.
Generate word-by-word karaoke captions for any video locally with Whisper, editable timing, and burned-in animated styles perfect for Reels and Shorts.
To associate your repository with the object-capabilities topic, visit your repo's landing page and select "manage topics."