Alternatives and similar repositories for c3

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

• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• alinush / 6.858-lecture-notes
  6.858 Computer Systems Security: Lecture notes (edited a little and formatted with Markdown)
  ☆47Updated 7 years ago
• sslab-gatech / shfllock
  ☆44Updated 4 years ago
• MashPlant / decaf-rs
  Framework of pa code for THU compiler principle course.
  ☆13Updated 6 years ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆53Updated last month
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 9 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 12 years ago
• brucechin / paper
  paper collections in database/distributed system/operating system/crypto/arch/security&privacy
  ☆82Updated 4 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated last year
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 6 years ago
• Penglai-Enclave / Penglai-Enclave-TVM
  The main repo of Penglai Enclave based on RISC-V Trapped Virtual Memory (TVM).
  ☆41Updated 2 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
• wangrunji0408 / UndergraduateProjects
  A collection of my undergraduate projects
  ☆92Updated last year
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• oscomp / proj191-seL4-for-wasmedge
  seL4 作为Hypervisor启动一个 WasmEdge 运行时环境
  ☆36Updated 9 months ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆79Updated 3 years ago
• thu-cs-lab / tanlabs
  Tsinghua Advanced Networking Labs on FPGA
  ☆39Updated last year
• GCYYfun / DailySchedule
  《日常》
  ☆18Updated 4 years ago
• ZhangShurong / simple-filesystem
  Experiment with writing a simple, kernel-space, on-disk filesystem.
  ☆33Updated 6 years ago
• uw-unsat / serval
  ☆46Updated 3 years ago
• sslab-gatech / libmpk
  ☆51Updated 4 years ago
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 3 years ago
• TELOS-syslab / CortenMM-Artifact
  The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".
  ☆39Updated 2 months ago
• glarer / UserspaceBypass
  ☆58Updated last year
• 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
• NJU-ProjectN / os-workbench
  ☆19Updated 4 years ago
• abcdabcd987 / compiler2016
  Toy Compiler for Compiler 2016 Course
  ☆91Updated 9 years ago
• Penglai-Enclave / Penglai-Enclave-sPMP
  Penglai Enclave is an open-sourced, secure and scalable TEE system for RISC-V.
  ☆146Updated 11 months ago