Alternatives and similar repositories for c3:

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

• heptagonhust / about
  华科七边形，欢迎各位朋友的指导与交流。
  ☆29Updated 2 months ago
• sonarsys / BadgerTrap
  BadgerTrap is a tool to instrument x86-64 TLB misses.
  ☆11Updated 8 years ago
• brucechin / paper
  paper collections in database/distributed system/operating system/crypto/arch/security&privacy
  ☆81Updated 3 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• alinush / 6.858-lecture-notes
  6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
  ☆44Updated 6 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆23Updated 2 years ago
• NYU-NEWS / janus
  ☆50Updated 10 months ago
• GLaDOS-Michigan / I4
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26Updated 3 years ago
• xu910121 / x86_64-Architecture
  x86_64体系结构学习
  ☆10Updated 5 years ago
• stonysystems / depfast-ae
  ☆18Updated last week
• zhangboyang / NEMU-public
  public version of zby's ics program-assignment (NJU ics2015 PA)
  ☆26Updated 8 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 2 years ago
• sslab-gatech / shfllock
  ☆41Updated 3 years ago
• Harry-Chen / TrivialKV
  A naive key-value database as the project of Storage Technology Foundations course
  ☆10Updated 5 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆22Updated last year
• mit-pdos / 6.826-2019-labs
  Lab assignments for 6.826
  ☆10Updated 5 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…
  ☆50Updated 3 years ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆30Updated 2 years ago
• SJTU-IPADS / cocytus
  Cocytus is an efficient and available in-memory K/V-store through hybrid erasure coding and replication
  ☆30Updated 8 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 2 years ago
• uw-unsat / serval
  ☆46Updated 2 years ago
• ring00 / bbl-ucore
  uCore OS Labs on Berkeley bootloader
  ☆39Updated 6 years ago
• Nelson-Cheung / yatsenos-riscv
  Rebuild YatSenOS On RISC-V 64.
  ☆19Updated 3 years ago
• GCYYfun / DailySchedule
  《日常》
  ☆18Updated 3 years ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 2 years ago
• stonysystems / rolis
  Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions
  ☆14Updated 10 months ago
• madsys-dev / syscall_intercept
  The system call intercepting library
  ☆22Updated 2 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆17Updated this week