Alternatives and similar repositories for labs

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

• datenlord / etcd-client

  View on GitHub
  ☆15Jul 18, 2023Updated 2 years ago
• PKU-ASAL / PKUWA

  View on GitHub
  ☆13Aug 18, 2025Updated 5 months ago
• CircuitCoder / ChannelOS

  View on GitHub
  What if everything is a io_uring?
  ☆16Nov 10, 2022Updated 3 years ago
• Jiacheng / honeycomb-osdi23-ae

  View on GitHub
  ☆16May 22, 2023Updated 2 years ago
• swarupchandra / secure-analytics-sgx

  View on GitHub
  Securing Data Analytics on Intel SGX using Randomization
  ☆13Aug 30, 2017Updated 8 years ago
• LearningOS / rCore-Tutorial-Guide-2023S

  View on GitHub
  ☆12Jun 10, 2023Updated 2 years ago
• oscomp / proj47-tee-os

  View on GitHub
  面向可信执行环境的OS。
  ☆12May 9, 2025Updated 9 months ago
• xshaun / sc22-ae

  View on GitHub
  ☆14Nov 7, 2025Updated 3 months ago
• ConfidentialComputing / GPU-TEE-Papers

  View on GitHub
  ☆31Jun 14, 2023Updated 2 years ago
• vmexit / trio-sosp23-ae

  View on GitHub
  ☆20Sep 8, 2025Updated 5 months ago
• yavko / yavkOS

  View on GitHub
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆24Mar 29, 2023Updated 2 years ago
• ucbsky / elsa

  View on GitHub
  Secure Aggregation for Federated Learning with Malicious Actors
  ☆28Dec 6, 2022Updated 3 years ago
• OS-F-4 / usr-intr

  View on GitHub
  项目的主仓库
  ☆26Sep 11, 2022Updated 3 years ago
• mit-frap / spring23

  View on GitHub
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆31May 10, 2023Updated 2 years ago
• riscvarchive / riscv-tee

  View on GitHub
  ☆38Aug 6, 2022Updated 3 years ago
• rustsbi / slides

  View on GitHub
  All public report slides, articles and meeting minutes related to RustSBI
  ☆29Dec 14, 2025Updated last month
• keystone-enclave / keystone-runtime

  View on GitHub
  Eyrie enclave runtime kernel
  ☆37Aug 2, 2023Updated 2 years ago
• HyperEnclave / atc22-ae

  View on GitHub
  ☆32Jul 11, 2022Updated 3 years ago
• Compass-All / CCS22-StrongBox

  View on GitHub
  ☆34Nov 7, 2022Updated 3 years ago
• adulau / netbeacon

  View on GitHub
  netbeacon - monitoring your network capture, NIDS or network analysis process
  ☆19Oct 26, 2013Updated 12 years ago
• zhangjiong724 / autoassist-exp

  View on GitHub
  Code accompanying the NeurIPS 2019 paper AutoAssist: A Framework to Accelerate Training of Deep Neural Networks.
  ☆14Oct 3, 2022Updated 3 years ago
• astra-sim / astra-network-ns3

  View on GitHub
  ☆10Jun 28, 2025Updated 7 months ago
• shdnx / dangless-malloc

  View on GitHub
  A memory allocator that aims to eliminate dangling pointer vulnerabilities at a low overhead, using virtualisation via Dune. My Computer …
  ☆10Nov 27, 2019Updated 6 years ago
• HexHive / specrop

  View on GitHub
  Code repository for experiments in SpecROP paper
  ☆13Sep 3, 2021Updated 4 years ago
• rel4team / rel4_kernel

  View on GitHub
  ☆12May 26, 2025Updated 8 months ago
• Toodyao / 8086-CPU

  View on GitHub
  A simple 8086-CPU simulator using Verilog and Quartus II
  ☆10Jul 9, 2018Updated 7 years ago
• lzhangbv / acpsgd

  View on GitHub
  [ICDCS 2023] Evaluation and Optimization of Gradient Compression for Distributed Deep Learning
  ☆10Apr 28, 2023Updated 2 years ago
• FiveDirections / IMA

  View on GitHub
  Linux integrity monitoring for CentOS/RHEL
  ☆10May 13, 2020Updated 5 years ago
• cc-api / cc-trusted-vmsdk

  View on GitHub
  VMSDK implements the Evidence API
  ☆11Nov 25, 2024Updated last year
• masc-ucsc / cmpe220fall16

  View on GitHub
  Public repository of the UCSC CMPE220 class project
  ☆10Oct 8, 2017Updated 8 years ago
• KuangjuX / hypercraft

  View on GitHub
  hypercraft is a VMM library written in Rust.
  ☆54Oct 20, 2024Updated last year
• ziqi-zhang / TEESlice-artifact

  View on GitHub
  ☆45Apr 4, 2025Updated 10 months ago
• esposem / Kernel_Paxos

  View on GitHub
  Kernel Module that implements Paxos protocol
  ☆11Oct 23, 2020Updated 5 years ago
• brechtsanders / libdirtrav

  View on GitHub
  Cross-platform C library for recursively traversing directory contents
  ☆14Nov 8, 2025Updated 3 months ago
• morning21 / Spectre_Meltdown_MDS_srcs

  View on GitHub
  Collection of Spectre-type, Meltdown-type and MDS-type PoCs
  ☆10Aug 25, 2020Updated 5 years ago
• P4xos / P4xos

  View on GitHub
  ☆11Sep 22, 2017Updated 8 years ago
• nkicsl / SmartZone

  View on GitHub
  ☆10Dec 26, 2023Updated 2 years ago
• mit-plv / hemiola

  View on GitHub
  A Coq framework to support structural design and proof of hardware cache-coherence protocols
  ☆14May 7, 2022Updated 3 years ago
• wangshicheng1225 / LoRDMA

  View on GitHub
  ☆11Oct 21, 2023Updated 2 years ago