Alternatives and similar repositories for c3

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

• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• sslab-gatech / shfllock
  ☆43Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆38Updated 10 months ago
• brucechin / paper
  paper collections in database/distributed system/operating system/crypto/arch/security&privacy
  ☆82Updated 3 years ago
• smcdef / memory-reordering
  A sample kernel module showing the memory reordering.
  ☆11Updated 5 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• glarer / UserspaceBypass
  ☆58Updated last year
• utsaslab / optfs
  The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…
  ☆34Updated 11 years ago
• stonysystems / depfast-ae
  ☆19Updated 6 months ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆33Updated 3 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆47Updated last month
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 2 months ago
• xu910121 / x86_64-Architecture
  x86_64体系结构学习
  ☆10Updated 6 years ago
• abcdabcd987 / sit
  Simplified Git
  ☆40Updated 10 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆48Updated 3 years ago
• systems-seminar-uiuc / systems-seminar-uiuc.github.io
  website for systems seminar at UIUC
  ☆20Updated last month
• 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
• 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
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated 10 months ago
• tongzhou80 / Intel-TSX-test-suite
  A suite of simple programs to test Intels' TSX extension
  ☆13Updated 8 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• sslab-gatech / cst-locks
  ☆15Updated 4 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆76Updated 2 years ago
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆31Updated 3 years ago
• Harry-Chen / TrivialTomasulo
  Tomasulo Simulator written in React as the project for Computer Architecture course, Spring 2019, Tsinghua University
  ☆11Updated 6 years ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• ring00 / bbl-ucore
  uCore OS Labs on Berkeley bootloader
  ☆39Updated 7 years ago
• heptagonhust / about
  华科七边形，欢迎各位朋友的指导与交流。
  ☆29Updated 8 months ago
• Thesys-lab / cacheWorkloadAnalysisOSDI20
  ☆14Updated 3 years ago
• vmexit / trio-sosp23-ae
  ☆17Updated last year