Ada/SPARK

github.com ↗

Modern programming language designed for large, long-lived apps where reliability and efficiency are essential.