Asterinas

asterinas Public

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

Rust 4,791MPL-2.0 346 207 (2 issues need help) 152 Updated Aug 5, 2026

kata-containers Public

Rust 0Apache-2.0 0 0 0 Updated Aug 5, 2026

verus Public Forked from verus-lang/verus

Verified Rust for Asterinas code

Rust 2MIT 199 0 0 Updated Aug 5, 2026

vostd Public

Ongoing formal verification for Asterinas OSTD

Rust 52MPL-2.0 14 18 11 Updated Aug 5, 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 Aug 5, 2026

benchmark Public

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

JavaScript 1 3 0 0 Updated Aug 4, 2026

book Public

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

HTML 2 2 0 0 Updated Aug 4, 2026

rust-deductive-verifier Public

Helper framework for `vostd`

Rust 1 3 1 1 Updated Aug 4, 2026

KVerus Public

KVerus: Scalable and Resilient Formal Verification for Rust Code

Python 23MIT 3 0 0 Updated Aug 4, 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 0Apache-2.0 1 0 0 Updated Aug 3, 2026

Navigation Menu

Uh oh!

Uh oh!

Asterinas

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!