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.
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
Visualize skeletal animation data and detect artifacts like foot sliding using this lightweight raylib viewer with deferred rendering.
To associate your repository with the object-capabilities topic, visit your repo's landing page and select "manage topics."