Skip to content
Change the repository type filter

All

    Repositories list

    • database

      Public
      Shell
      0000Updated Dec 1, 2024Dec 1, 2024
    • book

      Public
      CSS
      0020Updated Nov 30, 2024Nov 30, 2024
    • 0000Updated Nov 30, 2024Nov 30, 2024
    • Shell
      0020Updated Nov 30, 2024Nov 30, 2024
    • 对 Rust 编写的代码运行一系列检查工具,并对结果进行报告和统计
      Rust
      MIT License
      29330Updated Nov 30, 2024Nov 30, 2024
    • Vue
      MIT License
      11270Updated Nov 30, 2024Nov 30, 2024
    • `--target` in cargo commands only works if we enter the package folder
      Rust
      0000Updated Nov 29, 2024Nov 29, 2024
    • test-rap

      Public
      Rust
      0000Updated Nov 27, 2024Nov 27, 2024
    • Kernel crates that can be used in mutiple OS in Rust
      TypeScript
      8000Updated Nov 26, 2024Nov 26, 2024
    • docs

      Public
      Rust
      1050Updated Nov 26, 2024Nov 26, 2024
    • Rust
      0030Updated Nov 26, 2024Nov 26, 2024
    • Rust
      0020Updated Nov 26, 2024Nov 26, 2024
    • Shell
      0000Updated Nov 24, 2024Nov 24, 2024
    • plugin

      Public
      Rust
      0000Updated Nov 23, 2024Nov 23, 2024
    • lockbud

      Public
      Statically detect memory, concurrency bugs and possible panic locations for Rust.
      Rust
      BSD 3-Clause "New" or "Revised" License
      28000Updated Nov 22, 2024Nov 22, 2024
    • RAP

      Public
      Rust Analysis Platform
      Rust
      14000Updated Nov 20, 2024Nov 20, 2024
    • MIRAI

      Public
      docker image: zjpzjp/mirai:latest
      Rust
      MIT License
      7060Updated Nov 20, 2024Nov 20, 2024
    • Rust
      0000Updated Nov 14, 2024Nov 14, 2024
    • Rust
      0000Updated Nov 12, 2024Nov 12, 2024
    • lkmodel

      Public
      LK model components.
      Rust
      Apache License 2.0
      8000Updated Nov 5, 2024Nov 5, 2024
    • charon

      Public
      Interface with the rustc compiler for the purpose of program verification
      Rust
      Apache License 2.0
      17000Updated Nov 4, 2024Nov 4, 2024
    • Starry

      Public
      The main repository of Starry-OS, which will assemble all kernel components into a kernel according to a certain configuration.
      Rust
      Apache License 2.0
      19000Updated Nov 1, 2024Nov 1, 2024
    • Detects usage of unsafe Rust in a Rust crate and its dependencies.
      Rust
      66000Updated Oct 27, 2024Oct 27, 2024
    • jsonxf

      Public
      JSON Transformer. A fast pretty-printer and minimizer, written in Rust.
      Rust
      MIT License
      9000Updated Oct 12, 2024Oct 12, 2024
    • Rust
      MIT License
      94000Updated Oct 2, 2024Oct 2, 2024
    • Inconsistent summary on count with --message-format=json.
      Rust
      0000Updated Aug 31, 2024Aug 31, 2024
    • A modified fork from https://github.com/elliott10/e1000-driver, used as a test for os-checker.
      Rust
      GNU General Public License v2.0
      0000Updated Aug 22, 2024Aug 22, 2024
    • Rust
      0000Updated Aug 19, 2024Aug 19, 2024
    • cargo 检测 .cargo 配置时,并不考虑 --manifest-path
      Shell
      0000Updated Aug 11, 2024Aug 11, 2024
    • clippy with `--no-deps` emits unexpected warnings from deps or should have emitted warnings as expected
      Shell
      0000Updated Aug 10, 2024Aug 10, 2024