chyyuu / rcoresbs_doc
☆10Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for rcoresbs_doc
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago
- 基于Rust语言的OS Kernel -- zCore☆19Updated 2 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 3 years ago
- Operating System Simulator☆19Updated 5 years ago
- OS教学实验:用Rust&C实现各种历史上的经典OS Kernels的实例☆48Updated 2 years ago
- Some toy labs for compiler course☆57Updated 2 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 4 years ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 2 years ago
- Decaf 实验综述☆12Updated 4 years ago
- Reimplement Zircon microkernel in Rust.☆12Updated 3 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 4 years ago
- 基于Rust和eBPF实现RDMA内核模块、驱动☆20Updated 2 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆49Updated 2 years ago
- A Rust reimplementation of the labs in THU distributed systems (2020 spring).☆10Updated 6 months ago
- mirror of https://github.com/rcore-os/rCore-Tutorial-Book-v3☆19Updated last year
- Linux kernel labs☆56Updated 3 years ago
- 洛佳的异步内核实验室,第二版☆13Updated 3 years ago
- Build lexers and parsers by deriving traits.☆22Updated 10 months ago
- Asynchronous OS kernel written in Rust.☆33Updated 3 years ago
- 对zircon内核的一些分析,欢迎补充!☆58Updated 4 years ago
- rCore_tutorial_tests☆10Updated 3 years ago
- CS 346 RedBase Project (Stanford)☆37Updated 9 years ago
- Seemlessly Migrate Process without boundary.☆24Updated 5 months ago
- The Decaf Book(中文)。包含语言规范和框架文档。☆16Updated 4 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- ☆16Updated 4 years ago
- [WIP] ⛵ A basic key-value storage service with transaction and fault-tolerant in Rust.☆11Updated 4 years ago
- Linux io_uring based c++ 20 coroutine library☆29Updated 2 years ago