← 최신 프로덕트

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.

오픈소스

213 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. SpecOS

    github.com

    A 64 bit OS kernel from scratch

    Hacker News45점

  2. Anos

    github.com

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

    Hacker News115점

  3. Octopii

    github.com

    a runtime for writing distributed applications in Rust

    Hacker News17점

  4. Munal OS

    github.com

    a graphical experimental OS with WASM sandboxing

    Hacker News313점

  5. Enki

    github.com

    Write GPU compute kernels in pure stable Rust

    Hacker News10점