8000 PKU Operating System Course · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@PKU-OS

PKU Operating System Course

Pinned Loading

  1. pintos pintos Public

    The pintos source distribution for PKU Operating System Course projects

    C 48 62

  2. pku-os.github.io pku-os.github.io Public

    PKU Operating System Course Website

    CSS 2

  3. Pintos-gitbook Pintos-gitbook Public

    The gitbook for Pintos project in Peking University.

    6 4

  4. Pintos-dockerfile Pintos-dockerfile Public

    The dockerfile for Pintos development environment with toolchain.

    3

  5. Tacos Tacos Public

    Write your own operating system with Rust!

    Rust 20 2

  6. sp25 sp25 Public

    Forked from PKU-OS/sp24

    HTML

Repositories

Showing 10 of 13 repositories
  • sp25 Public Forked from PKU-OS/sp24
    PKU-OS/sp25’s past year of commit activity
    HTML 0 MIT 2 0 0 Updated May 15, 2025
  • Tacos Public

    Write your own operating system with Rust!

    PKU-OS/Tacos’s past year of commit activity
    Rust 20 2 1 0 Updated May 5, 2025
  • Pintos-gitbook Public

    The gitbook for Pintos project in Peking University.

    PKU-OS/Pintos-gitbook’s past year of commit activity
    6 4 0 2 Updated Feb 25, 2025
  • pintos Public

    The pintos source distribution for PKU Operating System Course projects

    PKU-OS/pintos’s past year of commit activity
    C DC8E 48 62 0 0 Updated Feb 17, 2025
  • pku-os.github.io Public

    PKU Operating System Course Website

    PKU-OS/pku-os.github.io’s past year of commit activity
    CSS 2 MIT 0 0 0 Updated Feb 16, 2025
  • sp24 Public Forked from PKU-OS/sp23
    PKU-OS/sp24’s past year of commit activity
    HTML 0 MIT 2 0 0 Updated Jun 6, 2024
  • sp23 Public
    PKU-OS/sp23’s past year of commit activity
    HTML 8 MIT 2 0 0 Updated Jun 8, 2023
  • sp22 Public

    Spring 2022 Course Website for Operating System Course at Peking University

    PKU-OS/sp22’s past year of commit activity
    HTML 11 MIT 1 0 0 Updated Oct 14, 2022
  • rCore-plus Public Forked from rcore-os/rCore-Tutorial-v3

    Let's make Rust OS great again!

    PKU-OS/rCore-plus’s past year of commit activity
    Rust 0 GPL-3.0 513 0 0 Updated Jul 25, 2022
  • Pintos-dockerfile Public

    The dockerfile for Pintos development environment with toolchain.

    PKU-OS/Pintos-dockerfile’s past year of commit activity
    3 0 0 0 Updated Mar 1, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…
0