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.
OpenGeometry Kernel is a library that provides a set of tools for building CAD related applications. The project is built in Rust and then built for web using WASM. The geometry kernel is a foundat...
A ground-up open-source 64-bit operating system for digital sovereignty. Includes: custom kernel with ACPI 6.2 AML interpreter, NVMe/WiFi 802.11ac/HD Audio/USB 3.0 drivers, TCP/IP networking with T...
Cristian Simon (streaksu)
OpenGeometry
Zackery Sayers / TaterLabs