GitHub repository: JGiraldo29/vekos
Primary language: Rust
Description: Source tree for the Verified Experimental Kernel Operating System, or VEKOS.