mit-pdos / sigmaos
☆114Updated this week
Related projects ⓘ
Alternatives and complementary repositories for sigmaos
- ☆135Updated 5 months ago
- collection of useful or useless tech tips☆62Updated 2 weeks ago
- seL4 作为Hypervisor启动一个 WasmEdge 运行时环境☆37Updated 2 years ago
- distributed consensus protocol's bugs, flaws, deceptive traps, improvements☆104Updated last month
- A consensus that unifies paxos, raft, 2pc, etc.☆148Updated last year
- leveldb 传☆86Updated last year
- Documentation for Router Lab☆64Updated this week
- A SQL database☆88Updated last year
- The cold linker☆67Updated 5 months ago
- Databend x Rust China Hackathon 2022☆40Updated last year
- interview data structures and algorithms☆42Updated 7 months ago
- ByteDance kernel for use on cloud.☆89Updated 2 months ago
- A visualized debugging framework to aid in understanding the Linux kernel.☆36Updated this week
- Stanford CS 110L : Safety in Systems Programming☆12Updated 3 years ago
- Tutorial for assignment of Introduction to Database System☆13Updated 3 weeks ago
- LiKeX(RustKVM) is a KVM rust light project.☆42Updated last year
- awesome things related to SQLite☆91Updated this week
- 用Rust语言重新设计与实现xv6☆35Updated 2 years ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 2 years ago
- ☆40Updated 6 months ago
- A simple and efficient thread-safe sharded hashmap for Go☆28Updated last year
- Alex Chi's personal site☆24Updated 5 months ago
- 🗳 A solution to pingcap/talent-plan, aka "6.824 Lab 2: Raft" and "6.824 Lab 3: Fault-tolerant Key/Value Service" from MIT.☆29Updated 3 years ago
- Minik8s For SJTU-CloudOS Course.☆39Updated last year
- A free book on Linux filesystems covering everything from system calls to the underlying filesystems and everything in between. Also incl…☆22Updated 4 months ago
- A super tiny RISC-V emulator that is able to run xv6.☆71Updated 2 years ago
- Readings in Database Systems, 5th Edition 中文翻译☆91Updated 2 years ago
- HuaDB 实验框架☆127Updated last month
- Tiny Container Engine☆12Updated last year
- Some notes or translations about operating system or programming language.☆92Updated 2 weeks ago