Alternatives and similar repositories for c3

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

• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆24Updated 3 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• alinush / 6.858-lecture-notes
  6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
  ☆46Updated 7 years 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 4 years ago
• sslab-gatech / shfllock
  ☆44Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆39Updated last year
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 5 months ago
• utsaslab / optfs
  The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…
  ☆35Updated 11 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆77Updated 2 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆52Updated 2 months ago
• DeathWish5 / rCore_tutorial_tests
  rCore_tutorial_tests
  ☆11Updated 4 years ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• smcdef / memory-reordering
  A sample kernel module showing the memory reordering.
  ☆11Updated 5 years ago
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆31Updated 3 years ago
• ServerlessBench / ServerlessBench
  The project now is moved to github.com/SJTU-IPADS/ServerlessBench. An open-sourced benchmark suite for serverless computing
  ☆22Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• DataChi / memdb
  Tools to track memory accesses in applications and visualize the patterns to reveal opportunities for optimization.
  ☆92Updated 10 years ago
• utsaslab / WineFS
  WineFS (SOSP 21): a huge-page aware file system for persistent memory
  ☆36Updated 2 years ago
• ix-project / zygos
  ☆32Updated 8 years ago
• efeslab / eecs582
  Course website for Advanced Operating Systems
  ☆13Updated 3 years ago
• sslab-gatech / libmpk
  ☆51Updated 3 years ago
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 years ago
• dave-andersen / coursegen
  Course web page generator framework
  ☆28Updated 13 years ago
• cslab-ntua / contiguity-isca2020
  Linux source code for ISCA 2020 paper "Enhancing and Exploiting Contiguity for Fast Memory Virtualization"
  ☆19Updated 5 years ago
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 5 years ago
• tongzhou80 / Intel-TSX-test-suite
  A suite of simple programs to test Intels' TSX extension
  ☆14Updated 8 years ago
• wangrunji0408 / rjrouter
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Updated 5 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 years ago
• sslab-gatech / cst-locks
  ☆15Updated 5 years ago