Skip to content
Change the repository type filter

All

    Repositories list

    • database

      Public
      Shell
      0000Updated Nov 8, 2025Nov 8, 2025
    • All os-checker related repos
      0000Updated Nov 8, 2025Nov 8, 2025
    • Rust
      1080Updated Nov 8, 2025Nov 8, 2025
    • Makefile
      0000Updated Nov 8, 2025Nov 8, 2025
    • Vue
      12290Updated Nov 7, 2025Nov 7, 2025
    • Process management for Starry OS
      Rust
      4000Updated Nov 7, 2025Nov 7, 2025
    • Distributed and resource-efficient verification for verify-rust-std
      Rust
      03310Updated Nov 6, 2025Nov 6, 2025
    • book

      Public
      CSS
      1010Updated Nov 5, 2025Nov 5, 2025
    • tag-std

      Public
      Tag the safety properties of the Rust standard library.
      Rust
      5020Updated Oct 31, 2025Oct 31, 2025
    • data for verify-rust-std repo
      Shell
      0000Updated Oct 29, 2025Oct 29, 2025
    • redpen

      Public
      Vue
      0110Updated Oct 28, 2025Oct 28, 2025
    • slides

      Public
      Collection of my sildes.
      Shell
      0000Updated Oct 22, 2025Oct 22, 2025
    • 对 Rust 编写的代码运行一系列检查工具,并对结果进行报告和统计
      Rust
      556840Updated 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
      243000Updated Sep 30, 2025Sep 30, 2025
    • KernMiri
      Rust
      243020Updated Sep 29, 2025Sep 29, 2025
    • RAPx

      Public
      Rust Analysis Platform
      Rust
      27000Updated Sep 17, 2025Sep 17, 2025
    • 0000Updated Sep 15, 2025Sep 15, 2025
    • Shell
      1000Updated Sep 15, 2025Sep 15, 2025
    • zino

      Public
      Next-generation framework for composable applications in Rust.
      Rust
      81000Updated Sep 15, 2025Sep 15, 2025
    • kani

      Public
      Kani Rust Verifier
      Rust
      129000Updated Aug 21, 2025Aug 21, 2025
    • Verifying the Rust standard library
      Rust
      14k000Updated Aug 20, 2025Aug 20, 2025
    • Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
      Rust
      243000Updated Aug 14, 2025Aug 14, 2025
    • linux

      Public
      Linux kernel source tree
      C
      58k000Updated Jul 27, 2025Jul 27, 2025
    • HTML
      1000Updated Jun 28, 2025Jun 28, 2025
    • Shell
      0020Updated Jun 28, 2025Jun 28, 2025
    • Rust
      0001Updated Jun 28, 2025Jun 28, 2025
    • Scan your Rust crate for semver violations.
      Rust
      110000Updated Jun 27, 2025Jun 27, 2025
    • A static analyser to detect memory ordering misuses
      Rust
      1000Updated Jun 27, 2025Jun 27, 2025
    • Rust Infrastructure automation
      HCL
      88000Updated Jun 23, 2025Jun 23, 2025
    • axsignal

      Public
      Rust
      6000Updated Jun 22, 2025Jun 22, 2025