Repositories list

• 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

  •

  Apache License 2.0

  •11 fork•00 stars•00 issues•00 pull requests•Updated May 4, 2026May 4, 2026

• verus

  Public
  Verified Rust for Asterinas code

  Rust

  •

  MIT License

  •164164 forks•22 stars•00 issues•00 pull requests•Updated May 4, 2026May 4, 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

  •00 forks•00 stars•00 issues•00 pull requests•Updated May 4, 2026May 4, 2026

• vostd

  Public
  A community preview of ongoing formal verification efforts for Asterinas

  Rust

  •

  Mozilla Public License 2.0

  •1010 forks•4646 stars•55 issues•11 pull request•Updated May 3, 2026May 3, 2026

• asterinas

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

  rustkernelos+ 1

  rustkernelostee

  Rust

  •

  Other

  •295295 forks•4.5k4.5k stars•213213 issues•7373 pull requests•Updated May 3, 2026May 3, 2026

• confidential-containers

  Public
  Shell

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 30, 2026Apr 30, 2026

• book

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

  HTML

  •22 forks•11 star•00 issues•00 pull requests•Updated Apr 30, 2026Apr 30, 2026

• kata-containers

  Public
  Rust

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 29, 2026Apr 29, 2026

• benchmark

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

  JavaScript

  •22 forks•11 star•00 issues•00 pull requests•Updated Apr 28, 2026Apr 28, 2026

• verus-analyzer

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

  Rust

  •

  Apache License 2.0

  •2.1k2.1k forks•00 stars•00 issues•00 pull requests•Updated Mar 30, 2026Mar 30, 2026

• ccf-open-inno-competition

  Public
  2026 CCF开源创新大赛 星绽赛题

  00 forks•00 stars•00 issues•00 pull requests•Updated Mar 25, 2026Mar 25, 2026

• rust-deductive-verifier

  Public
  Helper framework for `vostd`

  Rust

  •22 forks•00 stars•00 issues•00 pull requests•Updated Mar 24, 2026Mar 24, 2026

• api-docs

  Public
  The hosted API documentation of Asterinas OSTD

  HTML

  •11 fork•22 stars•00 issues•00 pull requests•Updated Mar 13, 2026Mar 13, 2026

• pr-review-analysis

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

  Python

  •

  Apache License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 21, 2026Feb 21, 2026

• asterinas-artwork

  Public
  11 fork•11 star•00 issues•00 pull requests•Updated Feb 8, 2026Feb 8, 2026

• fast26-artifact-evaluation

  Public
  Rust

  •

  GNU General Public License v2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 20, 2026Jan 20, 2026

• asterinas.github.io

  Public
  The source code of the Asterinas website

  CSS

  •44 forks•00 stars•11 issue•11 pull request•Updated Dec 26, 2025Dec 26, 2025

• lmbench

  Public
  C

  •

  GNU General Public License v2.0

  •173173 forks•00 stars•00 issues•00 pull requests•Updated Dec 17, 2025Dec 17, 2025

• summer-ospp-teaching-os

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

  Rust

  •11 fork•00 stars•00 issues•1919 pull requests•Updated Oct 24, 2025Oct 24, 2025

• linux_binary_cache

  Public
  Contain a vmlinuz-5.15.0-105-generic file of Linux v5.15.0.

  44 forks•00 stars•00 issues•11 pull request•Updated Aug 22, 2025Aug 22, 2025

• linux_vdso

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

  11 fork•00 stars•00 issues•00 pull requests•Updated Aug 21, 2025Aug 21, 2025

• int-to-c-enum

  Public
  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 27, 2025Jun 27, 2025

• id-alloc

  Public
  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 27, 2025Jun 27, 2025

• align_ext

  Public
  Rust

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 27, 2025Jun 27, 2025

• verus-proof-synthesis

  Public
  Rust

  •

  MIT License

  •2222 forks•11 star•00 issues•00 pull requests•Updated Jun 10, 2025Jun 10, 2025

• atc25-artifact-evaluation

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

  Rust

  •

  Other

  •295295 forks•22 stars•00 issues•00 pull requests•Updated Jun 3, 2025Jun 3, 2025

• ltp

  Public
  Linux Test Project (mailing list: https://lists.linux.it/listinfo/ltp)

  C

  •

  GNU General Public License v2.0

  •1.1k1.1k forks•00 stars•00 issues•00 pull requests•Updated May 16, 2025May 16, 2025

• github-action-benchmark

  Public
  TypeScript

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Apr 3, 2025Apr 3, 2025

• occlum

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

  Rust

  •

  Other

  •248248 forks•55 stars•00 issues•00 pull requests•Updated Mar 13, 2025Mar 13, 2025

• slides

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

  00 forks•22 stars•00 issues•00 pull requests•Updated Feb 13, 2025Feb 13, 2025