Get the latest tech news

Show HN: Vekos – a Rust OS with Built-In Cryptographic Verification

Source tree for the Verified Experimental Kernel Operating System, or VEKOS. - JGiraldo29/vekos

Related news:

Show HN: Copper – Open-source robotics in Rust with deterministic log replay

Show HN: SeekStorm – open-source sub-millisecond search in Rust

Cursed Linear Types in Rust