All 5+ 10+ 25+ 50+ 100+
41
Ada and SPARK enter the automotive ISO-26262 market with Nvidia (adacore.com)
2 months ago | gneuromante | adacore.com | best
2
Ironclad (formally verified kernel) 0.6.0 released (nongnu.org)
6 months ago | gneuromante | nongnu.org | newest
1
Ada Developer Workshop AEiC 2024, a New "FOSDEM DevRoom" for the Community (ada-lang.io)
a year ago | gneuromante | ada-lang.io | newest
4
So Many New Systems Programming Languages (colinsblog.net)
a year ago | gneuromante | colinsblog.net | newest