Alternatives and similar repositories for vampire-os:

Users that are interested in vampire-os are comparing it to the libraries listed below

• chyyuu / ucore_pub
  the ucore os protal
  ☆41Updated 12 years ago
• He11oLiu / MOS
  Homemade OS based on MIT6.828 JOS with a GUI and some new features.
  ☆41Updated 7 years ago
• learn-sys / cn
  A website providing info for self-learners who want to explore the world of operating systems. The website template is from https://githu…
  ☆51Updated 3 years ago
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 3 years ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 5 years ago
• mapleFU / zookeeper_paper_cn
  The chinese translation for https://www.usenix.org/legacy/event/atc10/tech/full_papers/Hunt.pdf
  ☆35Updated last year
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 5 years ago
• NJU-ProjectN / os-workbench
  ☆18Updated 3 years ago
• rsy56640 / triviality
  record some trivialities
  ☆52Updated last year
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago
• dragonly / pingcap_interview
  pingcap 面试小作业
  ☆36Updated 4 years ago
• oscomp / proj7-terminus
  可运行OS的RISCV-64的硬件模拟器设计与实现
  ☆22Updated 4 years ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆48Updated 3 years ago
• jinlmsft / raft.tla
  TLA+ specification for the Raft consensus algorithm
  ☆18Updated 8 years ago
• liusy58 / WhyThis
  we'll try to answer some questions during our study about computer systems.
  ☆58Updated 3 years ago
• rcore-os / zcore_tutorial_developers
  zcore_tutorial文档撰写工作以及单元测试工作组
  ☆19Updated 4 years ago
• Ray-Eldath / dont-interface
  How many interface{} are there in your project?
  ☆16Updated 3 years ago
• OSH-2020 / OSH-2020.github.io
  课程主页
  ☆32Updated 4 years ago
• kingshaohua / aries
  aries协议
  ☆21Updated 11 years ago
• hawkingrei / papers-notebook
  📄 🇨🇳 papers I have read
  ☆28Updated 4 years ago
• yangsoon / talen-plan-report
  PingCAP Talent-Plan(TIDB)1.0 题解 成绩: Section1: 95分 Section2: 97分 Section3: 100分 Section4: 88分
  ☆41Updated 4 years ago
• ShaoxunZeng / DKernel-Plus
  A Debuggable Kernel environment Plus a software collection
  ☆62Updated 3 years ago
• chyyuu / rcoresbs_doc
  ☆10Updated 5 years ago
• tikv / minitrace-go
  A high-performance timeline tracing library for Golang, used by TiDB
  ☆47Updated 2 months ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 3 years ago
• Nov11 / 15-445
  CMU 15-445 2017 (force pushed to erase my works)
  ☆59Updated 5 years ago
• aQuaYi / Learning-MIT-6.828
  something you need in MIT 6.828 Fall 2019
  ☆17Updated 5 years ago
• flexible-address-space / flexspace
  Code of the paper "Building an Efficient Key-Value Store in a Flexible Address Space", EuroSys '22
  ☆21Updated last month
• sekirio-rs / Kuro
  Linux io_uring based c++ 20 coroutine library
  ☆29Updated 2 years ago