Alternatives and similar repositories for c3

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

• sslab-gatech / shfllock
  ☆44Updated 4 years ago
• glarer / UserspaceBypass
  ☆58Updated last year
• 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
• utsaslab / WineFS
  WineFS (SOSP 21): a huge-page aware file system for persistent memory
  ☆36Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆49Updated last year
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• SHTUSIST / AisLSM
  ☆13Updated last year
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 3 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 6 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 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
• godspeed1989 / buddy_allocator
  buddy system memory allocator
  ☆39Updated 11 years ago
• stonysystems / depfast-ae
  ☆19Updated 11 months ago
• ZhangShurong / simple-filesystem
  Experiment with writing a simple, kernel-space, on-disk filesystem.
  ☆33Updated 6 years ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆26Updated 3 years ago
• rs3lab / TCLocks
  Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"
  ☆21Updated last year
• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆24Updated 3 years ago
• ix-project / zygos
  ☆33Updated 8 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years 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 12 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated last year
• smcdef / memory-reordering
  A sample kernel module showing the memory reordering.
  ☆11Updated 5 years ago
• oscomp / proj6-user-level-interrupt
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆10Updated 8 months ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• oscomp / seminar0-20201226
  ☆11Updated 4 years ago
• ix-project / dune
  ☆33Updated 7 years ago
• RutgersCSSystems / FusionFS
  FusionFS: Fusing I/O Operations using CISCOps in Firmware File Systems, FAST '22
  ☆19Updated 3 years ago