Richardhongyu

GLaDOS-CheckIn

GLaDOS AutoCheckIn 定时自动签到

rdma-sys

Rust bindings for RDMA fundamental libraries: libibverbs-dev and librdmacm-dev

RROS

RROS is a dual-kernel OS for satellites or other scenarios that need both real-time and general-purpose abilities. RROS = RTOS (Rust) + Linux (C).

wasmtime

A fast and secure runtime for WebAssembly

asterinas

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

AutoGPT

An experimental open-source attempt to make GPT-4 fully autonomous.

bupt-ncov-report-action

🦠 使用 GitHub Actions 自动填报北邮 COVID-19 疫情信息

bros

A tool to share the config/image/qemu-run-command to Build and Run your kernel.

BuptOs.github.io

c2rust

Migrate C code to Rust

cpp-to-rust-book

criu

Checkpoint/Restore tool

crown

Ownership analysis that helps translating C to Rust

kata-containers

Kata Containers version 2.x repository. Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel and perform like containers, but provide the workload isolation and security advantages of VMs. https://katacontainers.io/

lhy_blogos

linux

Adding support for the Rust language to the Linux kernel.

linux-insides

A little bit about a linux kernel

mllm

Fast Multimodal LLM on Mobile Devices

os_lab

操作系统课程设计

papers

pic

personal pictures

rfl

rfl_empirical_tools

rudolfs

A high-performance, caching Git LFS server with an AWS S3 and local storage back-end.

runs

rust-e1000

rustsbi

RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see https://github.com/rustsbi/standalone.

spin

Spin is an open source framework for building and running fast, secure, and composable cloud microservices with WebAssembly

WASI

WebAssembly System Interface

wasm-file-server