mit-pdos / sigmaosLinks
☆147Updated this week
Alternatives and similar repositories for sigmaos
Users that are interested in sigmaos are comparing it to the libraries listed below
Sorting:
- Zero instrucment LLM and AI agent (e.g. claude code, gemini-cli) observability in eBPF☆82Updated 3 weeks ago
- distributed consensus protocol's bugs, flaws, deceptive traps, improvements☆120Updated 4 months ago
- collection of useful or useless tech tips☆85Updated last month
- ☆136Updated last year
- A consensus that unifies paxos, raft, 2pc, etc.☆148Updated 2 years ago
- seL4 作为Hypervisor启动一个 WasmEdge 运行时环境☆37Updated 4 months ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years 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.☆30Updated 3 years ago
- A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.☆16Updated 3 years ago
- SJTU SE3357 操作系统 笔记 OS Notes☆16Updated 2 years ago
- Stanford CS 110L : Safety in Systems Programming☆12Updated 4 years ago
- iptables-trace is an eBPF enhanced iptables-TRACE alternative iptables TRACE. GPL-3.0 license☆14Updated 7 months ago
- ☆25Updated last year
- ByteDance kernel for use on cloud.☆103Updated 2 weeks ago
- The labs of Raft consensus algorithm based on MadSim.☆124Updated 7 months ago
- The MOSAIC Operating Systems Model and Checker☆196Updated 2 years ago
- 用Rust语言重新设计与实现xv6☆35Updated 3 years ago
- ☆25Updated 4 months ago
- Learn how to write a minimal working linker from scratch☆106Updated last year
- leveldb 传☆85Updated last year
- A Rust version of db tutorial implementation☆62Updated 3 years ago
- A website providing info for self-learners who want to explore the world of operating systems. The website template is from https://githu…☆51Updated 4 years ago
- 🦀️ Reimplement xv6-riscv in Rust!☆344Updated 2 years ago
- Databend x Rust China Hackathon 2022☆40Updated 2 years ago
- A file system over RDMA☆27Updated 3 years ago
- A SQL database☆89Updated 2 years ago
- 没分支的 rCore-Tutorial☆46Updated last week
- ☆58Updated 2 months ago
- tensorflow code reading☆17Updated 2 years ago
- [SIGMOD '24] CaaS-LSM: Compaction-as-a-Service for LSM-based Key-Value Stores in Storage Disaggregated Infrastructure☆70Updated last year