I'm the owner and main developer of the Ironclad project, alongside Gloire, its biggest and fully FOSS distribution. I am a big free software enthusiast with a long history of work on the fields of embedded work, formal verification, high-assurance programming, and real-time applications.
Fund this group
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)
Group
ironclad-os.org
Manifest