Skip to content
@asterinas

Asterinas

Towards more secure operating systems and trustworthy infrastructure

Pinned Loading

  1. asterinas Public

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

    Rust 4.3k 275

  2. asterinas-cc Public

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

    16 2

  3. hyperenclave Public

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

    Rust 71 11

Repositories

Showing 10 of 54 repositories
  • verus-analyzer Public Forked from verus-lang/verus-analyzer

    A Verus compiler front-end for IDEs (derived from rust-analyzer)

    Rust 0 Apache-2.0 2,020 0 0 Updated Mar 7, 2026
  • vostd Public

    A community preview of ongoing formal verification efforts for Asterinas

    Rust 42 MPL-2.0 10 2 1 Updated Mar 7, 2026
  • asterinas Public

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

    Rust 4,341 275 238 (2 issues need help) 61 Updated Mar 7, 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.

    HTML 0 0 0 0 Updated Mar 7, 2026
  • benchmark Public

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

    JavaScript 1 2 0 0 Updated Mar 7, 2026
  • verus Public Forked from verus-lang/verus

    Verified Rust for Asterinas code

    Rust 1 MIT 151 1 0 Updated Mar 6, 2026
  • book Public

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

    HTML 1 2 0 0 Updated Mar 3, 2026
  • rust-deductive-verifier Public

    Helper framework for `vostd`

    Rust 0 2 0 0 Updated Mar 2, 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

    Shell 0 Apache-2.0 1 0 0 Updated Mar 2, 2026
  • pr-review-analysis Public

    Tooling to collect, analyze, and summarize the code review history of Asterinas

    Python 0 Apache-2.0 0 0 0 Updated Feb 21, 2026
View all repositories

Most used topics

tee rust