← 최신 프로덕트

CambiOS

a new Rust-based, sovereign identity, zero-trust OS. Zero-trust, capability-based Rust microkernel targeting formal verification. Tri-arch (x86_64 / AArch64 / RISC-V). Sovereign and generative: no telemetry, user owns keys and data. Early-stage — see STATUS.md. Inspired by seL4, Hubris, and Redox. A microkernel OS built in Rust, that boots in QEMU under x86_64, AArch64, and RISC-V - targeting formal verification.

오픈소스

10 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. I Built a Groth16 ZK-Proof Verifier from Scratch Using Rust

    github.com

    Implementation of Groth16 Zero-Knowledge Succinct Non-Interactive Argument of Knowledge Protocol using Rust

    Hacker News6점

  2. Ariadne

    codeberg.org

    A Rust implementation of aperiodic cryptography

    Hacker News40점

  3. Anos

    github.com

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

    Hacker News115점

  4. Z-Jail

    github.com

    A 130 KB Linux sandbox-C99 with 7 defense layers and zero deps

    Hacker News23점

  5. Rust and Svelte

    github.com

    open-source Cross-platform terminal

    Hacker News24점