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...
Cristian Simon (streaksu)
OpenGeometry
