GeezerVison is showing github.com — Asterinas
Pinned
Loading
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
Rust
5.1k
416
Asterinas Confidential Computing is a collection of open-source projects featuring full-stack capabilities in confidential computing.
18
1
HyperEnclave is an open and cross-platform trusted execution environment.
Rust
88
16
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Batchfile
C
C++
CSS
Go
HTML
JavaScript
Move
Python
Rust
Shell
TypeScript
Sort
Showing 10 of 61 repositories
vostd
Public
Ongoing formal verification for Asterinas OSTD
asterinas/vostd's past year of commit activity
Rust
62
MPL-2.0
19
17
21
Updated Nov 12, 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 Nov 12, 2026
asterinas/verus's past year of commit activity
Rust
2
MIT
262
0
0
Updated Nov 12, 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 Nov 12, 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 Nov 12, 2026
asterinas/rust-deductive-verifier's past year of commit activity
Rust
3
5
1
1
Updated Nov 11, 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 Nov 9, 2026
book
Public
The Website for the Asterinas Book. The content is generated by MdBook.
asterinas/book's past year of commit activity
HTML
2
2
0
0
Updated Nov 5, 2026
KVerus
Public
KVerus: Scalable and Resilient Formal Verification for Rust Code
asterinas/KVerus's past year of commit activity
Python
29
MIT
7
0
0
Updated Oct 27, 2026
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.