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