Skip to content
@asterinas

Asterinas

Towards more secure operating systems and trustworthy infrastructure

Pinned Loading

  1. asterinas Public

    Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

    Rust 2.8k 168

  2. asterinas-cc Public

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

    11 1

  3. hyperenclave Public

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

    Rust 38 5

Repositories

Showing 10 of 45 repositories
  • benchmark Public

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

    JavaScript 0 2 0 0 Updated Mar 22, 2025
  • asterinas Public

    Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

    Rust 2,766 168 242 (3 issues need help) 56 Updated Mar 22, 2025
  • book Public

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

    HTML 0 2 0 0 Updated Mar 22, 2025
  • 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 17, 2025
  • vostd Public

    A community preview of ongoing formal verification efforts for Asterinas

    Rust 9 2 0 0 Updated Mar 13, 2025
  • occlum Public Forked from occlum/occlum

    Occlum is a memory-safe, multi-process library OS for Intel SGX

    Rust 3 243 0 0 Updated Mar 13, 2025
  • asterinas.github.io Public

    The source code of the Asterinas website

    HTML 0 2 0 0 Updated Feb 13, 2025
  • slides Public

    A collection of presentations about the open-source projects under the Asterinas organization

    1 0 0 0 Updated Feb 13, 2025
  • hyperenclave Public

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

    Rust 38 Apache-2.0 5 14 0 Updated Jan 21, 2025
  • trustflow Public

    A privacy-preserving computing system based on TEE.

    C++ 19 Apache-2.0 14 7 0 Updated Dec 27, 2024
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…