Alternatives and similar repositories for c3

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

• 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
• SlugLab / wss-ebpf
  eBPF version of https://github.com/brendangregg/wss
  ☆11Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated last year
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆48Updated 3 weeks ago
• sslab-gatech / shfllock
  ☆43Updated 3 years ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 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
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆21Updated 3 years ago
• xu910121 / x86_64-Architecture
  x86_64体系结构学习
  ☆10Updated 6 years ago
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆31Updated 3 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 2 years ago
• heptagonhust / about
  华科七边形，欢迎各位朋友的指导与交流。
  ☆29Updated 9 months ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆76Updated 2 years ago
• vmexit / trio-sosp23-ae
  ☆18Updated 2 years ago
• NYU-NEWS / janus
  ☆51Updated 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…
  ☆35Updated 11 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 3 months ago
• ring00 / bbl-ucore
  uCore OS Labs on Berkeley bootloader
  ☆39Updated 7 years ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• stonysystems / depfast-ae
  ☆19Updated 7 months ago
• sonarsys / BadgerTrap
  BadgerTrap is a tool to instrument x86-64 TLB misses.
  ☆11Updated 8 years ago
• mit-pdos / 6.826-2019-labs
  Lab assignments for 6.826
  ☆11Updated 5 years ago
• utsaslab / WineFS
  WineFS (SOSP 21): a huge-page aware file system for persistent memory
  ☆36Updated last year
• ix-project / dune
  ☆33Updated 7 years ago
• smcdef / memory-reordering
  A sample kernel module showing the memory reordering.
  ☆11Updated 5 years ago
• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆23Updated 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
• Thesys-lab / cacheWorkloadAnalysisOSDI20
  ☆15Updated 4 years ago