GitHub repository: AlbertoGP/austral
Primary language: OCaml
Description: Systems language with linear types and capability-based security.