mit-pdos / sigmaos
☆138Updated this week
Alternatives and similar repositories for sigmaos:
Users that are interested in sigmaos are comparing it to the libraries listed below
- ☆136Updated 10 months ago
- A consensus that unifies paxos, raft, 2pc, etc.☆148Updated last year
- distributed consensus protocol's bugs, flaws, deceptive traps, improvements☆117Updated 2 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
- leveldb 传☆85Updated last year
- Heterogeneous Containerization of Large Language Model Apps☆41Updated last month
- Extending eBPF Programmability and Observability to GPUs☆30Updated last week
- seL4 作为Hypervisor启动一个 WasmEdge 运行时环境☆37Updated 3 years ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years ago
- This repo stores a more profound view of Computer Architecture: A Quantitative Approach that tells multi-tenancy, virtualize, fine graine…☆25Updated last year
- (🚧 WIP) LLM serving with MLX tutorial for systems engineers.☆224Updated this week
- [SIGMOD '24] CaaS-LSM: Compaction-as-a-Service for LSM-based Key-Value Stores in Storage Disaggregated Infrastructure☆65Updated 9 months ago
- Mini-LSM solution checkpoint☆51Updated last year
- Alex Chi's personal site☆24Updated 2 months ago
- Documentation for Router Lab☆67Updated last month
- collection of useful or useless tech tips☆63Updated 2 weeks ago
- A visualized debugging framework to aid in understanding the Linux kernel.☆116Updated this week
- ☆47Updated 6 months ago
- ChocoPy LLVM Repo☆75Updated 2 years ago
- Code for "Lessons Learned from Building a Query Optimizer" blog series☆45Updated 2 months ago
- Readings in Database Systems, 5th Edition 中文翻译☆97Updated 3 years ago
- Databend x Rust China Hackathon 2022☆40Updated 2 years ago
- 《自己动手写AI编译器》☆22Updated 6 months ago
- Stanford CS 110L : Safety in Systems Programming☆12Updated 4 years ago
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆17Updated 2 years ago
- ☆21Updated 9 months ago
- The cold linker☆70Updated 10 months ago
- good sources for distributed system and database☆63Updated last year
- 上海交通大学软件学院课程云操作系统设计与实践(SE3356)笔记☆14Updated 2 years ago
- ☆25Updated last year