Alternatives and similar repositories for sigmaos

Users that are interested in sigmaos are comparing it to the libraries listed below

• drmingdrmer / consensus-essence
  distributed consensus protocol's bugs, flaws, deceptive traps, improvements
  ☆120Updated 5 months ago
• oscomp / proj191-seL4-for-wasmedge
  seL4 作为Hypervisor启动一个 WasmEdge 运行时环境
  ☆37Updated 5 months ago
• drmingdrmer / tips
  collection of useful or useless tech tips
  ☆85Updated last month
• eunomia-bpf / agentsight
  Zero instrucment LLM and AI agent (e.g. claude code, gemini-cli) observability in eBPF
  ☆111Updated this week
• drmingdrmer / one-file-raft
  ☆136Updated last year
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 3 years ago
• Albus-Tan / SJTU-SE3357-OS-notes
  SJTU SE3357 操作系统笔记 OS Notes
  ☆17Updated 2 years ago
• openacid / abstract-paxos
  A consensus that unifies paxos, raft, 2pc, etc.
  ☆148Updated 2 years ago
• were / mcir
  ☆23Updated last year
• uclasystem / DRust
  ☆50Updated last year
• madsim-rs / MadRaft
  The labs of Raft consensus algorithm based on MadSim.
  ☆125Updated 7 months ago
• Kuberboat / Kuberboat
  A system which deploys and manages containerized applications. Course project of SJTU SE3356, 2022.
  ☆16Updated 3 years ago
• thu-db / dbs-tutorial
  Tutorial for assignment of Introduction to Database System
  ☆11Updated last week
• skyzh / skyzh-site
  Alex Chi's personal site
  ☆23Updated last month
• BugenZhao / Raft
  🗳 A solution to pingcap/talent-plan, aka "6.824 Lab 2: Raft" and "6.824 Lab 3: Fault-tolerant Key/Value Service" from MIT.
  ☆31Updated 3 years ago
• thu-cs-lab / Router-Lab-Docs
  Documentation for Router Lab
  ☆68Updated 3 weeks ago
• mit-pdos / vmvcc
  ☆25Updated 5 months ago
• openvelinux / kernel
  ByteDance kernel for use on cloud.
  ☆105Updated 2 weeks ago
• guimingyue / db_tutorial_rust
  A Rust version of db tutorial implementation
  ☆62Updated 3 years ago
• chienlungcheung / leveldb-with-annotation
  leveldb 传
  ☆85Updated last year
• xxg1413 / CS110L
  Stanford CS 110L : Safety in Systems Programming
  ☆12Updated 4 years ago
• asu-idi / CaaS-LSM
  [SIGMOD '24] CaaS-LSM: Compaction-as-a-Service for LSM-based Key-Value Stores in Storage Disaggregated Infrastructure
  ☆70Updated last year
• rcore-os / rCore_tutorial_doc
  Tutorial doc for rCore OS step by step (2nd edition)
  ☆65Updated 4 years ago
• lrita / lrita.github.io
  lrita's blog
  ☆86Updated last month
• ProjectMitosisOS / mitosis-core
  An OS kernel module for fast **remote** fork using advanced datacenter networking (RDMA).
  ☆64Updated 7 months ago
• databendlabs / hackathon2022
  Databend x Rust China Hackathon 2022
  ☆40Updated 2 years ago
• YdrMaster / rCore-Tutorial-in-single-workspace
  没分支的 rCore-Tutorial
  ☆46Updated 3 weeks ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆77Updated 2 years ago
• jackwener / Readings-in-Database-Systems-5th-CN
  Readings in Database Systems, 5th Edition 中文翻译
  ☆98Updated 3 years ago