Skip to content
@os-checker

os-checker

Pinned Loading

  1. os-checker os-checker Public

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

    Rust 42 2

  2. os-checker.github.io os-checker.github.io Public

    Vue 1 1

Repositories

Showing 10 of 55 repositories
  • database Public
    os-checker/database’s past year of commit activity
    Shell 0 0 0 0 Updated Apr 13, 2025
  • distributed-verification Public

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

    os-checker/distributed-verification’s past year of commit activity
    Rust 2 0 3 0 Updated Apr 12, 2025
  • book Public
    os-checker/book’s past year of commit activity
    CSS 0 0 1 0 Updated Apr 6, 2025
  • plugin-github-api Public
    os-checker/plugin-github-api’s past year of commit activity
    Rust 0 0 2 0 Updated Apr 6, 2025
  • os-checker.github.io Public
    os-checker/os-checker.github.io’s past year of commit activity
    Vue 1 MIT 1 25 0 Updated Apr 6, 2025
  • charon-rudra Public Forked from AeneasVerif/charon-rudra

    A reimplementation of Rudra with Charon

    os-checker/charon-rudra’s past year of commit activity
    Rust 0 Apache-2.0 1 7 0 Updated Apr 1, 2025
  • charon Public Forked from AeneasVerif/charon

    Interface with the rustc compiler for the purpose of program verification

    os-checker/charon’s past year of commit activity
    Rust 0 Apache-2.0 19 0 0 Updated Mar 24, 2025
  • tag-std Public Forked from Artisan-Lab/tag-std

    Tag the safety properties of the Rust standard library.

    os-checker/tag-std’s past year of commit activity
    0 1 0 0 Updated Mar 22, 2025
  • os-checker-action Public
    os-checker/os-checker-action’s past year of commit activity
    Shell 0 0 0 0 Updated Mar 17, 2025
  • Rudra Public Forked from sslab-gatech/Rudra

    Rust Memory Safety & Undefined Behavior Detection

    os-checker/Rudra’s past year of commit activity
    Rust 0 Apache-2.0 51 0 0 Updated Mar 15, 2025
View all repositories

Top languages

Loading…

Most used topics

Loading…