Asterinas

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

asterinas/vostd’s past year of commit activity

Rust
42
MPL-2.0
9 1 2
Updated Mar 5, 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
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 Mar 5, 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 2 0 0
Updated Mar 5, 2026
asterinas/verus’s past year of commit activity

Rust
1
MIT
150 1 0
Updated Mar 4, 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 Mar 3, 2026
asterinas/rust-deductive-verifier’s past year of commit activity

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

asterinas/thank-you-dataset’s past year of commit activity

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

asterinas/pr-review-analysis’s past year of commit activity

Python 0 Apache-2.0 0
0 0
Updated Feb 21, 2026
asterinas/asterinas-artwork’s past year of commit activity

1 1 0 0
Updated Feb 8, 2026