mit-pdos / sigmaos
☆110Updated last month
Related projects ⓘ
Alternatives and complementary repositories for sigmaos
- ☆135Updated 4 months ago
- A consensus that unifies paxos, raft, 2pc, etc.☆148Updated last year
- collection of useful or useless tech tips☆61Updated this week
- seL4 作为Hypervisor启动一个 WasmEdge 运行时环境☆37Updated 2 years ago
- distributed consensus protocol's bugs, flaws, deceptive traps, improvements☆104Updated last month
- leveldb 传☆86Updated 11 months ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 2 years ago
- awesome things related to SQLite☆90Updated 2 weeks ago
- Must-read Papers for File System (FS)☆214Updated 3 weeks ago
- A SQL database☆88Updated last year
- good sources for distributed system and database☆58Updated last year
- zero c compiler,一个从零开始写的编译器,不仅仅为了学习编译原理☆125Updated 2 years ago
- The cold linker☆67Updated 5 months ago
- Databend x Rust China Hackathon 2022☆40Updated last year
- Alex Chi's personal site☆24Updated 4 months ago
- Documentation for Router Lab☆62Updated 2 weeks ago
- lrita's blog☆86Updated 6 months ago
- SJTU SE3357 操作系统笔记 OS Notes☆14Updated last year
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆17Updated 2 years ago
- Minik8s For SJTU-CloudOS Course.☆39Updated last year
- A super tiny RISC-V emulator that is able to run xv6.☆71Updated 2 years ago
- 和运营相关的内容☆72Updated last year
- A website providing info for self-learners who want to explore the world of operating systems. The website template is from https://githu…☆50Updated 3 years ago
- ☆25Updated 10 months ago
- A Rust version of db tutorial implementation☆61Updated 2 years ago
- Stanford CS 110L : Safety in Systems Programming☆12Updated 3 years ago
- ☆52Updated last year
- 📝 This is my résumé 这是我的简历☆16Updated 2 years ago
- 收集文件系统相关论文☆38Updated last year