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.
Fund this project
Sun, 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 error
Get "https://codeberg.org/Ironclad/Ironclad/raw/branch/main/.well-known/funding-manifest-urls": context deadline exceeded (Client.Timeout exceeded while awaiting headers)
Cristian Simon (Streaksu)
ironclad-os.org
codeberg.org/Ironclad/Ironclad