Skip to content

@os-checker os-checker

Change the repository type filter

All

    Repositories list

    92 repositories

    • database

      Public
      Shell
      •0•0•0•0•Updated Dec 22, 2025Dec 22, 2025

    • os-checker-repertoire

      Public
      All os-checker related repos
      GNU General Public License v3.0
      •0•0•0•0•Updated Dec 21, 2025Dec 21, 2025

    • book

      Public
      CSS
      •
      GNU General Public License v3.0
      •1•0•2•1•Updated Dec 21, 2025Dec 21, 2025

    • slides

      Public
      Collection of my sildes.
      Vue
      •0•0•1•0•Updated Dec 21, 2025Dec 21, 2025

    • asterinas

      Public
      Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
      Rust
      •
      Other
      •252•0•0•0•Updated Dec 20, 2025Dec 20, 2025

    • RAPx

      Public
      Rust Analysis Platform
      Rust
      •
      Mozilla Public License 2.0
      •29•0•0•0•Updated Dec 18, 2025Dec 18, 2025

    • dockerfiles

      Public
      Shell
      •0•0•2•0•Updated Dec 18, 2025Dec 18, 2025

    • tag-std

      Public
      Tag the safety properties of the Rust standard library.
      Rust
      •5•0•2•0•Updated Dec 14, 2025Dec 14, 2025

    • asterinas-rapx

      Public
      Rust
      •
      Mozilla Public License 2.0
      •1•0•0•0•Updated Dec 9, 2025Dec 9, 2025

    • redpen

      Public
      Vue
      •0•1•2•0•Updated Dec 8, 2025Dec 8, 2025

    • os-checker

      Public
      对 Rust 编写的代码运行一系列检查工具，并对结果进行报告和统计
      Rust
      •
      GNU General Public License v3.0
      •6•61•87•0•Updated Nov 29, 2025Nov 29, 2025

    • bugs-found

      Public
      Makefile
      •0•0•5•0•Updated Nov 27, 2025Nov 27, 2025

    • arceos

      Public
      An experimental modular OS written in Rust.
      Rust
      •
      Apache License 2.0
      •417•0•0•0•Updated Nov 21, 2025Nov 21, 2025

    • linked_list_r4l

      Public
      Linked lists that supports arbitrary removal in constant time.
      Rust
      •3•0•0•0•Updated Nov 20, 2025Nov 20, 2025

    • linked_list_r4l-upstream

      Public
      Rust
      •0•0•1•0•Updated Nov 20, 2025Nov 20, 2025

    • allocator

      Public
      Rust
      •10•0•0•0•Updated Nov 20, 2025Nov 20, 2025

    • priroda

      Public
      A graphical debugger for Rust MIR
      Rust
      •
      Apache License 2.0
      •13•0•0•0•Updated Nov 19, 2025Nov 19, 2025

    • axsched

      Public
      Various scheduler algorithms in a unified interface.
      Rust
      •7•0•0•0•Updated Nov 14, 2025Nov 14, 2025

    • plugin-cargo

      Public
      Rust
      •
      GNU General Public License v3.0
      •1•0•8•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•4•31•0•Updated Nov 6, 2025Nov 6, 2025

    • verify-rust-std_data

      Public
      data for verify-rust-std repo
      Shell
      •0•0•0•0•Updated Oct 29, 2025Oct 29, 2025

    • Asterinas-KernMiri

      Public
      KernMiri
      Rust
      •
      Mozilla Public License 2.0
      •252•0•2•0•Updated Sep 29, 2025Sep 29, 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
      •84•0•0•0•Updated Sep 15, 2025Sep 15, 2025

    • kani

      Public
      Kani Rust Verifier
      Rust
      •
      Apache License 2.0
      •133•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
      •252•0•0•0•Updated Aug 14, 2025Aug 14, 2025