awesome-ocap
github.com/dckc/awesome-ocap ↗Awesome Object Capabilities and Capability Security
405
GitHub Stars
183
Curated Resources
7
Categories
23 hours ago
Last Refreshed
Applications and ServicesLibraries and FrameworksProgramming LanguagesOperating SystemsCPUs and Embedded DevicesPresentations, Talks, Slides, and VideosArticles
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me peer-reviewed articles resources from awesome-ocap"
Installation instructions →What's inside
Libraries and Frameworks
Operating Systems
- 2013 Capsicum year in review
- Announcing KataOS and Sparrow | Google Open Source Blog
Google Open Source Blog “As the foundation for this new operating system, we chose seL4 as the microkernel because it puts security front and center; it is mathematically proven secure, with guaranteed confidentiality, integrity, and availability.”
- Capsicum
Second Quarter 2024
- Capsicum Internship
- cr0 blog: A few thoughts on Fuchsia security
- Documentation: Update support
Articles
CPUs and Embedded Devices
Applications and Services
Presentations, Talks, Slides, and Videos
Programming Languages
- Austral
a systems language with linear types and capability security
- Cadence
- Gilad Bracha: Newspeak on the Web
- Live IDEs in the Web Browser: What's Holding Us Back
- Monte
- Monte: A Spiritual Successor to E
Showing a sample of 183 resources. View the full list on GitHub →