An open API service indexing awesome lists of open source software.

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.

kernel os rust tee

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.

linux security storage tee

Last synced: 31 May 2026

https://github.com/asterinas/hyperenclave

HyperEnclave is an open and cross-platform trusted execution environment.

hypervisor rust tee

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/slides-zh

关于星绽的中文slides

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/ostd-pod

Last synced: 31 May 2026

https://github.com/asterinas/ccf-open-inno-competition

2026 CCF开源创新大赛 星绽赛题

Last synced: 31 May 2026

https://github.com/asterinas/libflate

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/gvisor

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