Group
-
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.
-
The Gloire Operating System Cristian Simon (streaksu) (2 projects)
OS built with the Ironclad kernel and using GNU tools for the userland, along with some original applications like util-ironclad. Gloire is capable of running Xorg-based desktop environments, games...
Cristian Simon (streaksu)
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 errorGet "https://codeberg.org/Ironclad/Ironclad/raw/branch/main/.well-known/funding-manifest-urls": context deadline exceeded (Client.Timeout exceeded while awaiting headers)