Systems language with linear types and capability-based security.
- linear-types
- compiler
- capabilities
86,576 visible repositories in the index
1–3 of 3 · Most stars
Systems language with linear types and capability-based security.
Cap'n Proto library and code generator for Go
[DEPRECATED] Webshims Lib is a modular capability-based polyfill-loading library