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
• 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
• oscomp / seminar0-20201226
  ☆11Updated 5 years ago
• IPADS-DuVisor / kvm-tutorial
  ☆23Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆50Updated 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 12 years ago
• Chocopy-LLVM / chocopy-llvm
  ChocoPy LLVM Repo
  ☆79Updated 3 years ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 years ago
• DeathWish5 / rCore_tutorial_tests
  rCore_tutorial_tests
  ☆11Updated 4 years ago
• decaf-lang / decaf-2019-project
  Decaf 实验综述
  ☆12Updated 6 years ago
• sslab-gatech / shfllock
  ☆44Updated 4 years ago
• GCYYfun / DailySchedule
  《日常》
  ☆18Updated 4 years ago
• mit-pdos / ward
  ☆30Updated 4 years ago
• smcdef / memory-reordering
  A sample kernel module showing the memory reordering.
  ☆11Updated 5 years ago
• oscomp / proj47-tee-os
  面向可信执行环境的OS。
  ☆12Updated 8 months ago
• ShawnZhong / MadFS
  Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”
  ☆46Updated 2 years ago
• wangrunji0408 / rjrouter
  [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)
  ☆14Updated 5 years ago
• stonysystems / depfast-ae
  ☆19Updated last year
• tongzhou80 / Intel-TSX-test-suite
  A suite of simple programs to test Intels' TSX extension
  ☆14Updated 8 years ago
• lastweek / lastweek.github.io
  Yizhou' Homepage
  ☆53Updated last month
• oscomp / proj2-os-kernels-by-history
  OS教学实验：用Rust&C实现各种历史上的经典OS Kernels的实例
  ☆46Updated 3 years ago
• oscomp / proj4-xv6-rust
  用Rust语言重新设计与实现xv6
  ☆35Updated 3 years ago
• ISRC-CAS / PLCT-OpenDay-2020
  PLCT实验室2020年开放日活动的演讲资料
  ☆13Updated 5 years ago
• oscomp / proj6-user-level-interrupt
  基于FPGA实现用户态中断硬件机制与优化操作系统内核
  ☆10Updated 10 months ago
• columbia / crane
  Transparent Paxos
  ☆45Updated 6 years ago
• mit-pdos / secfs-skeleton
  Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
  ☆24Updated 3 years ago
• MashPlant / lalr1
  An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.
  ☆49Updated 3 years ago
• Enna1 / LLVM-Study-Notes
  Study notes about LLVM. LLVM 学习笔记. Licensed under CC BY-NC-SA 4.0
  ☆148Updated 2 years ago
• ix-project / zygos
  ☆33Updated 8 years ago