Skip to content

@asterinas Asterinas

Change the repository type filter

All

    Repositories list

    53 repositories

    • verus

      Public
      Verified Rust for low-level systems code modified for Asterinas
      Rust
      •
      MIT License
      •142•1•0•0•Updated Jan 8, 2026Jan 8, 2026

    • vostd

      Public
      A community preview of ongoing formal verification efforts for Asterinas
      Rust
      •
      Mozilla Public License 2.0
      •9•41•0•0•Updated Jan 8, 2026Jan 8, 2026

    • asterinas

      Public
      Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
      rustkernelostee
      Rust
      •
      Other
      •257•4.2k•254•43•Updated Jan 8, 2026Jan 8, 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 Jan 8, 2026Jan 8, 2026

    • ccf-open-inno-competition

      Public
      2026 CCF开源创新大赛 星绽赛题
      0•0•0•0•Updated Jan 8, 2026Jan 8, 2026

    • benchmark

      Public
      The Website for the Asterinas Benchmark. The content is generated by Benchmarks Test.
      JavaScript
      •2•1•0•0•Updated Jan 8, 2026Jan 8, 2026

    • rust-deductive-verifier

      Public
      Helper framework for `vostd`
      Rust
      •2•0•0•0•Updated Jan 7, 2026Jan 7, 2026

    • book

      Public
      The Website for the Asterinas Book. The content is generated by MdBook.
      HTML
      •2•1•0•0•Updated Jan 7, 2026Jan 7, 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
      •
      Apache License 2.0
      •1•0•0•0•Updated Jan 5, 2026Jan 5, 2026

    • fast26-artifact-evaluation

      Public
      Rust
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Jan 3, 2026Jan 3, 2026

    • verus-analyzer

      Public
      A Verus compiler front-end for IDEs (derived from rust-analyzer)
      Rust
      •
      Apache License 2.0
      •1.9k•0•0•0•Updated Dec 30, 2025Dec 30, 2025

    • asterinas.github.io

      Public
      The source code of the Asterinas website
      CSS
      •3•0•1•0•Updated Dec 26, 2025Dec 26, 2025

    • lmbench

      Public
      C
      •
      GNU General Public License v2.0
      •165•0•0•0•Updated Dec 17, 2025Dec 17, 2025

    • api-docs

      Public
      The hosted API documentation of Asterinas OSTD
      HTML
      •1•2•0•0•Updated Dec 13, 2025Dec 13, 2025

    • asterinas-artwork

      Public
      1•0•0•0•Updated Dec 12, 2025Dec 12, 2025

    • summer-ospp-teaching-os

      Public
      Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
      Rust
      •1•0•0•19•Updated Oct 24, 2025Oct 24, 2025

    • linux_binary_cache

      Public
      Contain a vmlinuz-5.15.0-105-generic file of Linux v5.15.0.
      4•0•0•1•Updated Aug 22, 2025Aug 22, 2025

    • linux_vdso

      Public
      Contain a vdso64.so file of Linux v6.2.10.
      1•0•0•0•Updated Aug 21, 2025Aug 21, 2025

    • int-to-c-enum

      Public
      Rust
      •0•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • id-alloc

      Public
      Rust
      •0•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • align_ext

      Public
      Rust
      •0•0•0•0•Updated Jun 27, 2025Jun 27, 2025

    • verus-proof-synthesis

      Public
      Rust
      •
      MIT License
      •16•1•0•0•Updated Jun 10, 2025Jun 10, 2025

    • atc25-artifact-evaluation

      Public archive
      Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
      Rust
      •
      Other
      •257•2•0•0•Updated Jun 3, 2025Jun 3, 2025

    • ltp

      Public
      Linux Test Project (mailing list: https://lists.linux.it/listinfo/ltp)
      C
      •
      GNU General Public License v2.0
      •1.1k•0•0•0•Updated May 16, 2025May 16, 2025

    • github-action-benchmark

      Public
      TypeScript
      •
      MIT License
      •1•0•0•0•Updated Apr 3, 2025Apr 3, 2025

    • occlum

      Public
      Occlum is a memory-safe, multi-process library OS for Intel SGX
      Rust
      •
      Other
      •249•5•0•0•Updated Mar 13, 2025Mar 13, 2025

    • slides

      Public
      A collection of presentations about the open-source projects under the Asterinas organization
      0•2•0•0•Updated Feb 13, 2025Feb 13, 2025

    • hyperenclave

      Public
      HyperEnclave is an open and cross-platform trusted execution environment.
      rusthypervisortee
      Rust
      •
      Apache License 2.0
      •10•69•15•0•Updated Jan 21, 2025Jan 21, 2025

    • grub

      Public
      C
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • smoltcp

      Public
      a smol tcp/ip stack
      Shell
      •499•2•0•0•Updated Nov 8, 2024Nov 8, 2024