by Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.
ironclad-os.org
codeberg.org/Ironclad/IroncladSun, 15 Feb 2026 12:00:02 UTC
There was a problem with this listing's funding.json manifest. If it is not fixed, the listing will be removed from the portal.
Crawl errorGet "https://codeberg.org/Ironclad/Ironclad/raw/branch/main/.well-known/funding-manifest-urls": context deadline exceeded (Client.Timeout exceeded while awaiting headers)