Ironclad: Unix-like operating system kernel written in SPARK and Ada

Published: June 1, 2025

abstract-business-code-270348

Article URL: https://codeberg.org/Ironclad/Ironclad

Comments URL: https://news.ycombinator.com/item?id=44148011

Points: 1

# Comments: 0