← Latest products

Vekos

a Rust OS with Built-In Cryptographic Verification. Source tree for the Verified Experimental Kernel Operating System, or VEKOS. VEKOS(Verified Experimental Kernel OS) is a Rust-based experimental kernel that focuses on runtime verification and security.

Open source

213 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Anos

    github.com

    a hand-written ~100KiB microkernel for x86-64 and RISC-V

    Hacker News115 pts

  2. SpecOS

    github.com

    A 64 bit OS kernel from scratch

    Hacker News45 pts

  3. Octopii

    github.com

    a runtime for writing distributed applications in Rust

    Hacker News17 pts

  4. Munal OS

    github.com

    a graphical experimental OS with WASM sandboxing

    Hacker News313 pts

  5. Enki

    github.com

    Write GPU compute kernels in pure stable Rust

    Hacker News10 pts