Projects in Awesome Lists by asterinas
A curated list of projects in awesome lists by asterinas .
https://github.com/asterinas/asterinas
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Last synced: 06 Mar 2025
https://github.com/asterinas/vostd
A community preview of ongoing formal verification efforts for Asterinas
Last synced: 31 May 2026
https://github.com/asterinas/jinzhao-disk
Jinzhao Disk (JinDisk) is a log-structured secure block device for TEEs. This repo is JinDisk's Linux version.
Last synced: 31 May 2026
https://github.com/asterinas/hyperenclave
HyperEnclave is an open and cross-platform trusted execution environment.
Last synced: 31 May 2026
https://github.com/asterinas/jinzhao-attest
Jinzhao Attest provides unified attestation workflow for TEE compatibility, usability and security.
Last synced: 31 May 2026
https://github.com/asterinas/sworndisk-oscomp
SwornDisk是一个面向可信执行环境的、基于日志结构的安全块设备（全国大学生操作系统比赛2022）
Last synced: 31 May 2026
https://github.com/asterinas/mlsdisk
Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
Last synced: 31 May 2026
https://github.com/asterinas/api-docs
The hosted API documentation of Asterinas OSTD
Last synced: 31 May 2026
https://github.com/asterinas/book
The Website for the Asterinas Book. The content is generated by MdBook.
Last synced: 31 May 2026
https://github.com/asterinas/benchmark
The Website for the Asterinas Benchmark. The content is generated by Benchmarks Test.
Last synced: 31 May 2026
https://github.com/asterinas/summer-ospp-teaching-os
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Last synced: 31 May 2026
https://github.com/asterinas/api-docs-nightly
The nightly version of the Asterinas OSTD API documentation is always kept up-to-date with the latest version of Asterinas OSTD.
Last synced: 31 May 2026
https://github.com/asterinas/thank-you-dataset
The project automatically generates and maintains a list of Asterinas contributors, ranked by their scores, for display on the official website
Last synced: 31 May 2026
https://github.com/asterinas/rust-deductive-verifier
Helper framework for `vostd`
Last synced: 31 May 2026
https://github.com/asterinas/slides
A collection of presentations about the open-source projects under the Asterinas organization
Last synced: 31 May 2026
https://github.com/asterinas/asterinas.github.io
The source code of the Asterinas website
Last synced: 31 May 2026
https://github.com/asterinas/linux_vdso
Contain a vdso64.so file of Linux v6.2.10.
Last synced: 31 May 2026
https://github.com/asterinas/linux_binary_cache
Contain a vmlinuz-5.15.0-105-generic file of Linux v5.15.0.
Last synced: 31 May 2026
https://github.com/asterinas/score-and-rank-contributors
A command-line tool to score and rank contributors based on their activity over a set of projects by analyzing Git histories
Last synced: 31 May 2026