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...
OpenBSD is a free 4.4BSD-based UNIX-like operating system that emphasizes portability, standardization, correctness, proactive security and integrated cryptography.
AIENOS is an agent-first operating system that boots bare metal into its own deterministic kernel, independent of Linux, Windows, and macOS. The AI agent is a first-class citizen of the OS: persist...
Cristian Simon (streaksu)
OpenGeometry
Zackery Sayers / TaterLabs