Capability Security
Showing 4 of 4 projects
An insanely fast binary data interchange format and capability-based RPC system.
Effects-based direct-style parallel IO stack for OCaml 5, enabling concurrent file, network, and CPU operations with a secure, cross-platform API.
A SPARK library for building portable, verifiable, and high-performance trusted components in component-based systems.
One MCP stdio endpoint for a whole toolchain — GitHub, GitLab, cloud, mail, browser and research tools — with capability-gated dispatch, a machine-checked ABI, and cartridges fetched on demand from boj-server-cartridges. Zero runtime dependencies.
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.