Asterinas

vostd Public
A community preview of ongoing formal verification efforts for Asterinas

asterinas/vostd’s past year of commit activity

Rust
50
MPL-2.0
13 6 8
Updated Jun 18, 2026
book Public
The Website for the Asterinas Book. The content is generated by MdBook.

asterinas/book’s past year of commit activity

HTML
1 2 0 0
Updated Jun 18, 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
asterinas/kata-containers’s past year of commit activity

Rust 0 Apache-2.0 0
0 0
Updated Jun 18, 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 Jun 18, 2026
asterinas/verus’s past year of commit activity

Rust
2
MIT
178 0 0
Updated Jun 17, 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 Jun 16, 2026
asterinas/ccf-open-inno-competition’s past year of commit activity

0
1 0 0
Updated Jun 15, 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 Jun 15, 2026
asterinas/confidential-containers’s past year of commit activity

Shell 0 Apache-2.0
1 0 0
Updated Jun 10, 2026