Heykuki News

TopNewBestAskShowJobs
TopNewBestAskShowJobs
1.
Ironclad: A formally verified, hard real-time capable kernel in Ada (ironclad.nongnu.org)
31 points
azoriousrange
2 years ago
4 comments
2.
Ironclad: A formally verified Posix-compatible kernel written in Ada (ironclad.nongnu.org)
5 points
ajdude
2 years ago
1 comment