Repositories list

• database

  Public
  Shell

  •0•0•0•0•Updated Nov 8, 2025Nov 8, 2025

• os-checker-repertoire

  Public
  All os-checker related repos

  GNU General Public License v3.0

  •0•0•0•0•Updated Nov 8, 2025Nov 8, 2025

• plugin-cargo

  Public
  Rust

  •

  GNU General Public License v3.0

  •1•0•8•0•Updated Nov 8, 2025Nov 8, 2025

• bugs-found

  Public
  Makefile

  •0•0•0•0•Updated Nov 8, 2025Nov 8, 2025

• os-checker.github.io

  Public
  Vue

  •

  GNU General Public License v3.0

  •1•2•29•0•Updated Nov 7, 2025Nov 7, 2025

• starry-process

  Public
  Process management for Starry OS

  Rust

  •4•0•0•0•Updated Nov 7, 2025Nov 7, 2025

• distributed-verification

  Public
  Distributed and resource-efficient verification for verify-rust-std

  Rust

  •0•3•31•0•Updated Nov 6, 2025Nov 6, 2025

• book

  Public
  CSS

  •

  GNU General Public License v3.0

  •1•0•1•0•Updated Nov 5, 2025Nov 5, 2025

• tag-std

  Public
  Tag the safety properties of the Rust standard library.

  Rust

  •5•0•2•0•Updated Oct 31, 2025Oct 31, 2025

• verify-rust-std_data

  Public
  data for verify-rust-std repo

  Shell

  •0•0•0•0•Updated Oct 29, 2025Oct 29, 2025

• redpen

  Public
  Vue

  •0•1•1•0•Updated Oct 28, 2025Oct 28, 2025

• slides

  Public
  Collection of my sildes.

  Shell

  •0•0•0•0•Updated Oct 22, 2025Oct 22, 2025

• os-checker

  Public
  对 Rust 编写的代码运行一系列检查工具，并对结果进行报告和统计

  Rust

  •

  GNU General Public License v3.0

  •5•56•84•0•Updated Oct 12, 2025Oct 12, 2025

• asterinas

  Public
  Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

  Rust

  •

  Other

  •243•0•0•0•Updated Sep 30, 2025Sep 30, 2025

• Asterinas-KernMiri

  Public
  KernMiri

  Rust

  •

  Mozilla Public License 2.0

  •243•0•2•0•Updated Sep 29, 2025Sep 29, 2025

• RAPx

  Public
  Rust Analysis Platform

  Rust

  •

  Mozilla Public License 2.0

  •27•0•0•0•Updated Sep 17, 2025Sep 17, 2025

• test-database

  Public
  0•0•0•0•Updated Sep 15, 2025Sep 15, 2025

• os-checker-action

  Public
  Shell

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Sep 15, 2025Sep 15, 2025

• zino

  Public
  Next-generation framework for composable applications in Rust.

  Rust

  •

  MIT License

  •81•0•0•0•Updated Sep 15, 2025Sep 15, 2025

• kani

  Public
  Kani Rust Verifier

  Rust

  •

  Apache License 2.0

  •129•0•0•0•Updated Aug 21, 2025Aug 21, 2025

• verify-rust-std

  Public
  Verifying the Rust standard library

  Rust

  •

  Other

  •14k•0•0•0•Updated Aug 20, 2025Aug 20, 2025

• tag-asterinas

  Public
  Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

  Rust

  •

  Other

  •243•0•0•0•Updated Aug 14, 2025Aug 14, 2025

• linux

  Public
  Linux kernel source tree

  C

  •

  Other

  •58k•0•0•0•Updated Jul 27, 2025Jul 27, 2025

• oscourse-cn.github.io

  Public
  HTML

  •

  GNU General Public License v3.0

  •1•0•0•0•Updated Jun 28, 2025Jun 28, 2025

• dockerfiles

  Public
  Shell

  •0•0•2•0•Updated Jun 28, 2025Jun 28, 2025

• os-checker-test-suite

  Public
  Rust

  •0•0•0•1•Updated Jun 28, 2025Jun 28, 2025

• cargo-semver-checks

  Public
  Scan your Rust crate for semver violations.

  Rust

  •

  Apache License 2.0

  •110•0•0•0•Updated Jun 27, 2025Jun 27, 2025

• AtomicVChecker

  Public
  A static analyser to detect memory ordering misuses

  Rust

  •

  Apache License 2.0

  •1•0•0•0•Updated Jun 27, 2025Jun 27, 2025

• simpleinfra

  Public
  Rust Infrastructure automation

  HCL

  •

  MIT License

  •88•0•0•0•Updated Jun 23, 2025Jun 23, 2025

• axsignal

  Public
  Rust

  •6•0•0•0•Updated Jun 22, 2025Jun 22, 2025