Skip to content
@asterinas

Asterinas

Towards more secure operating systems and trustworthy infrastructure

Pinned Loading

  1. asterinas asterinas Public

    Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

    Rust 4.9k 379

  2. asterinas-cc asterinas-cc Public

    Asterinas Confidential Computing is a collection of open-source projects featuring full-stack capabilities in confidential computing.

    17 1

  3. hyperenclave hyperenclave Public

    HyperEnclave is an open and cross-platform trusted execution environment.

    Rust 85 15

Repositories

Showing 10 of 60 repositories
  • book Public

    The Website for the Asterinas Book. The content is generated by MdBook.

    asterinas/book's past year of commit activity
    HTML 2 2 0 0 Updated Sep 23, 2026
  • asterinas Public

    Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

    asterinas/asterinas's past year of commit activity
    Rust 4,869 MPL-2.0 379 232 121 Updated Sep 23, 2026
  • KVerus Public

    KVerus: Scalable and Resilient Formal Verification for Rust Code

    asterinas/KVerus's past year of commit activity
    Python 25 MIT 6 0 0 Updated Sep 23, 2026
  • api-docs-nightly Public

    The nightly version of the Asterinas OSTD API documentation is always kept up-to-date with the latest version of Asterinas OSTD.

    asterinas/api-docs-nightly's past year of commit activity
    HTML 0 0 0 0 Updated Sep 23, 2026
  • verus Public Forked from verus-lang/verus

    Verified Rust for Asterinas code

    asterinas/verus's past year of commit activity
    Rust 2 MIT 228 0 0 Updated Sep 22, 2026
  • benchmark Public

    The Website for the Asterinas Benchmark. The content is generated by Benchmarks Test.

    asterinas/benchmark's past year of commit activity
    JavaScript 1 3 0 0 Updated Sep 22, 2026
  • vostd Public

    Ongoing formal verification for Asterinas OSTD

    asterinas/vostd's past year of commit activity
    Rust 54 MPL-2.0 17 17 15 Updated Sep 22, 2026
  • thank-you-dataset Public

    The project automatically generates and maintains a list of Asterinas contributors, ranked by their scores, for display on the official website

    asterinas/thank-you-dataset's past year of commit activity
    Shell 0 Apache-2.0 1 0 0 Updated Sep 21, 2026
  • linux_vdso Public

    Contain a vdso64.so file of Linux v6.2.10.

    asterinas/linux_vdso's past year of commit activity
    0 2 0 0 Updated Sep 18, 2026
  • kata-containers Public
    asterinas/kata-containers's past year of commit activity
    Rust 0 Apache-2.0 0 0 0 Updated Sep 16, 2026
View all repositories

Most used topics

rust tee