Systems language with linear types and capability-based security. - View it on GitHub