Capability Security
3 projects
Showing 3 of 3 projects
Cap'n ProtoC++
An insanely fast binary data interchange format and capability-based RPC system.
#binary-protocol#protocol-buffers-alternative#capability-security
Stars13.1k
Forks1.1k
Last commit2 days ago
EioOCaml
Effects-based direct-style parallel IO stack for OCaml 5, enabling concurrent file, network, and CPU operations with a secure, cross-platform API.
#effects#effects-system#parallel-io
Stars696
Forks83
Last commit2 days ago
gneissAda
A SPARK library for building portable, verifiable, and high-performance trusted components in component-based systems.
#systems-programming#embedded-systems#spark
Stars24
Forks2
Last commit5 years ago
Community-curated · Updated weekly · 100% open source
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.