Skip to content
Change the repository type filter

All

    Repositories list

    • Artifact of "DebCovDiff: Differential Testing of Coverage Measurement Tools on Real-World Projects" (ASE '25)
      Python
      2600Updated Nov 22, 2025Nov 22, 2025
    • Shell
      3031Updated Nov 21, 2025Nov 21, 2025
    • iommu-vm

      Public
      Shell
      0200Updated Nov 18, 2025Nov 18, 2025
    • Specula

      Public
      Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code
      TLA
      11200Updated Oct 27, 2025Oct 27, 2025
    • stratus

      Public
      Python
      0500Updated Oct 23, 2025Oct 23, 2025
    • Measure Linux kernel's modified condition/decision coverage (MC/DC)
      Shell
      21170Updated Oct 21, 2025Oct 21, 2025
    • Kscaler

      Public
      Source for observing scheduler behavior of bandwidth controlled applications - catcloud-6.12.0 is the most recent branch
      C
      59k101Updated Oct 13, 2025Oct 13, 2025
    • C++
      4.6k000Updated Oct 6, 2025Oct 6, 2025
    • LLVM
      15k000Updated Oct 6, 2025Oct 6, 2025
    • This is where the targeted applications for AIOpsLab are stored.
      Lua
      3310Updated Sep 30, 2025Sep 30, 2025
    • Python
      0000Updated Sep 15, 2025Sep 15, 2025
    • This assists the iommufd upstream, and new features like Intel(R) scalable IOV (SIOV) and Shared Virtual Addressing (SVA). Note that, to play with it, it's always recommended to ask the repo owner to get a paired kernel and Qemu branch as the Qemu branch may require new uAPIs. Key contributor: Zhenzhong Duan (github: duanzhenzhong)
      C
      4000Updated Sep 14, 2025Sep 14, 2025
    • Train Ticket - A Benchmark Microservice System
      Java
      417500Updated Sep 1, 2025Sep 1, 2025
    • acto

      Public
      Push-Button End-to-End Testing of Kubernetes Operators and Controllers
      Python
      481291810Updated Aug 26, 2025Aug 26, 2025
    • Python
      3110Updated Aug 11, 2025Aug 11, 2025
    • OpenTelemetry Helm Charts fork for SREArena
      Smarty
      681000Updated Aug 11, 2025Aug 11, 2025
    • emt

      Public
      EMT: An OS Framework for New Memory Translation Architectures
      Python
      32310Updated Jul 22, 2025Jul 22, 2025
    • rex

      Public
      Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF.
      Rust
      10000Updated Jul 13, 2025Jul 13, 2025
    • anvil

      Public
      This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
      Rust
      11010Updated Jun 19, 2025Jun 19, 2025
    • geni-lib

      Public
      Python 3 fork of geni-lib.
      Python
      0000Updated Jun 9, 2025Jun 9, 2025
    • NVIDIA Linux open GPU kernel module source
      C
      1.5k000Updated May 22, 2025May 22, 2025
    • AIOpsLab

      Public
      A holistic framework to enable the design, development, and evaluation of autonomous AIOps agents.
      Python
      1251250Updated May 21, 2025May 21, 2025
    • VM-Bench

      Public
      C
      0000Updated May 15, 2025May 15, 2025
    • Code repository for scenarios and environment setup as part of ITBench
      Python
      23000Updated May 11, 2025May 11, 2025
    • emt-linux

      Public
      C
      0100Updated May 8, 2025May 8, 2025
    • dynamorio

      Public
      Dynamic Instrumentation Tool Platform
      C
      601000Updated May 4, 2025May 4, 2025
    • cloudtest

      Public
      This repository contains results of systematic analysis of cloud emulators used in software testing, focusing on their fidelity compared to real cloud services.
      Python
      02120Updated Apr 30, 2025Apr 30, 2025
    • ycsb

      Public
      Yahoo! Cloud Serving Benchmark
      Java
      2.3k000Updated Apr 28, 2025Apr 28, 2025
    • ITBench2

      Public
      Code repository for sample scenarios as part of ITBench
      Python
      23000Updated Apr 24, 2025Apr 24, 2025
    • C
      0000Updated Apr 14, 2025Apr 14, 2025