Austral is a new systems programming language. It uses linear types to provide memory safety and capability-secure code, and is designed to be simple enough to be understood by a single person, with a focus on readability, maintainbility, and modularity.
Comments
(link from the description, clickable)
https://austral-lang.org/
Austral GitHub has not received any significant updates for the last two years so I suppose the language development stopped.