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.
Group
Fund this group
ironclad-os.org
Manifest