Hacker News new | ask | show | jobs
by v9v 53 days ago
Ada/SPARK may also be worth a look.