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