Ironclad is a free software formally verified kernel written in SPARK/Ada

Lobsters is a community-driven platform for sharing and discussing links to articles, tutorials, and projects related to technology and programming. Readers can learn about a wide range of topics, from software development and system administration to cybersecurity and artificial intelligence. With user submissions, comments, and voting, Lobsters provides a platform for collaborative learning and knowledge sharing among technology enthusiasts.

Lobsters

Ironclad is a formally verified, hard real-time capable kernel designed for both general-purpose and embedded uses. Written in SPARK and Ada, it is entirely free software that respects user freedom. Ironclad uses semantic versioning, ensuring at least six months of support and bug fixes for major versions. The latest stable release is version 0.5.0, dated Oct 31, 2023.