Alternatives and similar repositories for vampire-os:

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

• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 5 years ago
• He11oLiu / MOS
  Homemade OS based on MIT6.828 JOS with a GUI and some new features.
  ☆41Updated 7 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 2 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 / proj7-terminus
  可运行OS的RISCV-64的硬件模拟器设计与实现
  ☆22Updated 4 years ago
• oscomp / proj178-kvm-in-rust
  用Rust语言重写Linux kernel中的KVM
  ☆16Updated 2 years ago
• chyyuu / compiler_lab
  Some toy labs for compiler course
  ☆58Updated 2 years ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆47Updated 2 years ago
• hawkingrei / papers-notebook
  📄 🇨🇳 papers I have read
  ☆28Updated 3 years ago
• yukiiiteru / DailySchedule_2020
  OS Tutorial Summer of Code 2020
  ☆19Updated 2 years ago
• adityabhandari1992 / cs346-redbase
  CS 346 RedBase Project (Stanford)
  ☆37Updated 9 years ago
• chyyuu / rcoresbs_doc
  ☆10Updated 5 years ago
• aQuaYi / Learning-MIT-6.828
  something you need in MIT 6.828 Fall 2019
  ☆17Updated 5 years ago
• oscomp / proj1-rustsbi
  实现和扩展RISC-V SBI运行时，使之能够支持并运行操作系统
  ☆14Updated 3 years ago
• skyzh / raft-kvs
  ⛵ A distributed key-value store based on Raft. (WIP)
  ☆42Updated 4 years ago
• jk316 / paper-on-LSM-Tree
  colletions of papers on LSM-Tree
  ☆23Updated 3 years ago
• rsy56640 / triviality
  record some trivialities
  ☆52Updated last year
• rcore-os / rCore_tutorial_doc
  Tutorial doc for rCore OS step by step (2nd edition)
  ☆65Updated 4 years ago
• rcore-os / zCore-Tutorial
  [WIP] Tutorial for zCore kernel.
  ☆58Updated 3 years ago
• OSH-2020 / OSH-2020.github.io
  课程主页
  ☆32Updated 4 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆56Updated 3 years ago
• dragonly / pingcap_interview
  pingcap 面试小作业
  ☆36Updated 4 years ago
• wangrunji0408 / UndergraduateProjects
  A collection of my undergraduate projects
  ☆90Updated 8 months ago
• mapleFU / zookeeper_paper_cn
  The chinese translation for https://www.usenix.org/legacy/event/atc10/tech/full_papers/Hunt.pdf
  ☆35Updated last year
• gatsbyd / mit_6.828_jos_2018
  mit 6.828 2018，JOS实现
  ☆80Updated 6 years ago
• thu-db / dbs-tutorial
  Tutorial for assignment of Introduction to Database System
  ☆11Updated 2 months ago
• nekin2017 / lk-tester-maker
  Linux Kernel Debug Environment Maker
  ☆81Updated 6 years ago
• rcore-os / learn-rust
  ☆22Updated 3 years ago
• NJU-ProjectN / os-workbench
  ☆18Updated 3 years ago