GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
object-capabilitiesHere are 16 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Cap'n Proto library and code generator for Go
go golang serialization rpc capabilities capnproto capn-proto capnp capability-based object-capabilities
Genode OS Framework (migrated to https://codeberg.org/genodelabs/genode)
linux arm framework cplusplus cpp virtualization hypervisor osdev operating-system riscv goa x86 nova microkernel sel4 genode object-capabilities sculpt-os
RChain liquid democracy demo: capability sharing, mailbox, directory, chat, ...
voting liquid-democracy capabilities ocap community-management governance rchain object-capabilities
Eselsohr is a self-hostable bookmark manager for storing web articles.
haskell bookmark self-hosted ocap hacktoberfest object-capabilities principle-of-least-privilege three-layer-cake webkey principle-of-least-authority
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.
rust openai formal-verification tla-plus object-capabilities pyo3 capability-security ai-governance agi-safety langchain anthropic corrigibility
Opaque references to sensitive values with per-axis information-flow labels, for Java
java security privacy encryption spring-boot postgresql multi-tenancy audit-log gdpr data-protection information-flow-control pii micrometer tamper-evident ai-security object-capabilities capability-security prompt-injection llm-security java25
Capability-secure WASM plugin sandbox (F# host + Rust plugins) with an AI code-review skill: plugins get only the authority their policy grants
rust security fsharp sandbox webassembly wasm gemini code-review plugin-system ai-agents object-capabilities capability-security extism claude-code
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.
programming-language rust interpreter compiler code-generation capabilities type-system design-by-contract object-capabilities llm
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.
security model-checking formal-methods operating-systems microkernel sel4 information-flow tla-plus object-capabilities capability-security
OCAP-based upgrade pattern for Gno realms, with authority scoped to each call and automatic revocation.
Generate word-by-word karaoke captions for any video locally with Whisper, editable timing, and burned-in animated styles perfect for Reels and Shorts.
python cli video ffmpeg cpp robotics poppy captions subtitles private nova karaoke rotation whisper shorts claude object-capabilities rotations sculpt-os
Object-capability networking in Zig: OCapN and CapTP, with a C ABI and bindings for other languages.
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.
security cryptography cmake authentication cpp sandbox authorization header-only hmac sha256 compile-time systems-programming portfolio-project object-capabilities zero-dependencies static-reflection cpp26 device-attestation capability-based-security cpp-contracts
Add this topic to your repoTo associate your repository with the object-capabilities topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |