-
Beijing Institute of Technology
Highlights
- Pro
-
-
DragonOS Public
Forked from DragonOS-Community/DragonOS使用Rust从0自研内核,具有Linux兼容性的操作系统,面向云计算轻量化场景而设计。DragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for lightweight cloud computing scenarios.
Rust GNU General Public License v2.0 UpdatedOct 26, 2025 -
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 UpdatedOct 25, 2025 -
aya Public
Forked from aya-rs/ayaAya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
Rust Apache License 2.0 UpdatedOct 25, 2025 -
arceos Public
Forked from arceos-org/arceosAn experimental modular OS written in Rust.
Rust Apache License 2.0 UpdatedOct 18, 2025 -
-
static-keys Public
Forked from Evian-Zhang/static-keysStatic keys for Rust userland applications
Rust Apache License 2.0 UpdatedOct 8, 2025 -
unwinding Public
Forked from nbdd0121/unwindingStack unwinding library in Rust
Rust Apache License 2.0 UpdatedOct 6, 2025 -
CookLikeHOC Public
Forked from Gar-b-age/CookLikeHOC🥢像老乡鸡🐔那样做饭。主要部分于2024年完工,非老乡鸡官方仓库。文字来自《老乡鸡菜品溯源报告》,并做归纳、编辑与整理。CookLikeHOC.
JavaScript UpdatedSep 25, 2025 -
-
kspin Public
Forked from arceos-org/kspinSpinlocks used for kernel space that can disable preemption or IRQs in the critical section.
Rust UpdatedSep 20, 2025 -
-
-
rbpf Public
Forked from qmonnet/rbpfRust virtual machine and JIT compiler for eBPF programs
Rust Apache License 2.0 UpdatedJun 4, 2025 -
linux-kernel-module-rust Public
Forked from fishinabarrel/linux-kernel-module-rustFramework for writing Linux kernel modules in safe Rust
Rust GNU General Public License v2.0 UpdatedMay 19, 2025 -
-
-
-
pinned-init Public
Forked from Rust-for-Linux/pin-initLibrary facilitating safe pinned initialization
Rust Apache License 2.0 UpdatedFeb 18, 2025 -
linux Public
Forked from Rust-for-Linux/linuxAdding support for the Rust language to the Linux kernel.
C Other UpdatedSep 27, 2024 -
-
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 UpdatedNov 20, 2023 -
-
qemu-loongarch-runenv Public
Forked from foxsen/qemu-loongarch-runenvEnvironment for experimenting loongarch bios and OS on X86 machines
C Apache License 2.0 UpdatedJul 21, 2023 -
-
-
jammdb Public
Forked from pjtatlow/jammdbJust Another Memory Mapped Database
Rust Apache License 2.0 UpdatedMay 20, 2023 -
-
-