← Explore by area
Cluster 13
1 repos
OCaml · 1
compiler
linear-types
capabilities
austral
Systems language with linear types and capability-based security.
OCaml
8,953 commits