logoalt Hacker News

v9v • today at 7:46 AM • 0 replies • view on HN

Ada/SPARK may also be worth a look.