-
-
asterinas Public
Forked from asterinas/asterinasAsterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Rust Other UpdatedJun 18, 2024 -
DragonOS Public
Forked from DragonOS-Community/DragonOS使用Rust从0自研内核，具有Linux兼容性的操作系统。
Rust GNU General Public License v2.0 UpdatedFeb 15, 2024 -
Theseus Public
Forked from theseus-os/TheseusTheseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware t…
Rust MIT License UpdatedFeb 7, 2024 -
arceos Public
Forked from arceos-org/arceosAn experimental modular OS written in Rust.
Rust Apache License 2.0 UpdatedSep 15, 2023 -
-
Tai-e-assignments Public
Forked from pascal-lab/Tai-e-assignmentsTai-e assignments for static program analysis
Java GNU Lesser General Public License v3.0 UpdatedMar 22, 2023 -
zCore Public
Forked from rcore-os/zCoreReimplement Zircon microkernel in Rust.
-
-
rCore-Tutorial-v3 Public
Forked from rcore-os/rCore-Tutorial-v3Let's write an OS which can run on RISC-V in Rust from scratch!
Rust GNU General Public License v3.0 UpdatedJun 23, 2022 -
-
rustsbi-jh7100 Public
Forked from rustsbi/rustsbi-hifive-unmatchedRustSBI support on SiFive FU740 board; FU740 is a five-core heterogeneous processor with four SiFive U74 cores, and one SiFive S7 core
-
-
-
PreemptiveScheduler Public
Forked from DeathWish5/PreemptiveSchedulerRust Preemptive Future Scheduler
Rust UpdatedJun 4, 2022 -
d1_build Public
Forked from tmolteno/d1_buildDebian disk image builder for the Sipeed Lichee RV Risc-v Single Board Computer
C GNU General Public License v3.0 UpdatedJun 2, 2022 -
kernel-sync Public
Forked from DeathWish5/kernel-syncOS Kernel Synchronization Implemention
Rust UpdatedMay 28, 2022 -
bootloader Public
Forked from rust-osdev/bootloaderAn experimental pure-Rust x86 bootloader
Rust Apache License 2.0 UpdatedMay 27, 2022 -
xv6-riscv64 Public
Forked from HUST-OS/xv6-k210Porting XV6 on K210!
C MIT License UpdatedDec 31, 2021 -
OneBlog Public
Forked from zhangyd-c/OneBlog👽 OneBlog，一个简洁美观、功能强大并且自适应的Java博客
Java GNU General Public License v3.0 UpdatedNov 19, 2021 -
-
rCore Public
Forked from rcore-os/rCoreRust version of THU uCore OS. Linux compatible.
Rust MIT License UpdatedMay 17, 2021 -
SysStatusControl Public
This project is build for software quantity confirm big work
Python UpdatedMar 2, 2021 -
-
dpkg Public
Forked from guillemj/dpkgDebian package manager (mirror)
C GNU General Public License v2.0 UpdatedJul 8, 2020 -
-
-
-
CoCoMusic Public
Forked from xtuJSer/CoCoMusica simple music player built by electron and vue
JavaScript GNU Lesser General Public License v3.0 UpdatedDec 26, 2019 -
py12306 Public
Forked from pjialin/py12306🚂 12306 购票助手，支持集群，多账号，多任务购票以及 Web 页面管理
Python Apache License 2.0 UpdatedDec 24, 2019
{{ message }}