Richard Li's repositories
GLaDOS-CheckIn
GLaDOS AutoCheckIn 定时自动签到
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.
bros
A tool to share the config/image/qemu-run-command to Build and Run your kernel.
c2rust
Migrate C code to Rust
core-js
Standard Library
criu
Checkpoint/Restore tool
crown
Ownership analysis that helps translating C to Rust
ethercat_driver_ros2
Hardware Interface for EtherCAT module integration with ros2_control
ethercat_driver_ros2_examples
Example repository for the EtherCAT Driver ROS2 stack
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/
linux
Adding support for the Rust language to the Linux kernel.
mllm
Fast Multimodal LLM on Mobile Devices
os_lab
操作系统课程设计
ros2_control
Generic and simple controls framework for ROS 2
rudolfs
A high-performance, caching Git LFS server with an AWS S3 and local storage back-end.
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