HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Ironclad: A formally verified, hard real-time capable kernel in Ada
ironclad.nongnu.org
4 comments
2 years ago
azoriousrange
31 points
2.
▲
Ironclad: A formally verified Posix-compatible kernel written in Ada
ironclad.nongnu.org
1 comment
2 years ago
ajdude
5 points