Alternatives and similar repositories for c3

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

• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆48Updated last year
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• smcdef / memory-reordering
  A sample kernel module showing the memory reordering.
  ☆11Updated 5 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 3 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
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 5 years ago
• sslab-gatech / shfllock
  ☆44Updated 4 years ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• SHTUSIST / AisLSM
  ☆13Updated last year
• glarer / UserspaceBypass
  ☆58Updated last year
• thu-cs-lab / tanlabs
  Tsinghua Advanced Networking Labs on FPGA
  ☆38Updated last year
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 6 months ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆77Updated 2 years ago
• OrderLab / orbit
  Orbit: OS Support for Safe and Efficient Auxiliary Tasks in Applications
  ☆22Updated 3 years ago
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 4 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆52Updated 3 months ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 3 years ago
• js2xxx / umi
  An RISC-V experimental OS
  ☆25Updated 2 years ago
• SlugLab / wss-ebpf
  eBPF version of https://github.com/brendangregg/wss
  ☆11Updated 2 years ago
• sslab-gatech / libmpk
  ☆51Updated 4 years ago
• DeathWish5 / rCore_tutorial_tests
  rCore_tutorial_tests
  ☆11Updated 4 years ago
• skyzh / linux-kernel-labs
  Linux kernel labs
  ☆55Updated 4 years ago
• little-squirrel-cute / most
  Codes for MO's Trading
  ☆15Updated 3 years ago
• abcdabcd987 / sit
  Simplified Git
  ☆39Updated 10 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 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…
  ☆51Updated 4 years ago
• ganler / GanlerCS
  Some CS notes during Jiawei's undergrad.
  ☆32Updated 3 years ago
• wangrunji0408 / UndergraduateProjects
  A collection of my undergraduate projects
  ☆92Updated last year
• utsaslab / WineFS
  WineFS (SOSP 21): a huge-page aware file system for persistent memory
  ☆36Updated 2 years ago