Repositories list

• SkVM

  Public
  The Language Virtual Machine for Agent Skills

  TypeScript

  •

  MIT License

  •4141 forks•480480 stars•88 issues•11 pull request•Updated May 23, 2026May 23, 2026

• kunserve

  Public
  Code repo for paper: KunServe: Parameter-centric Memory Management for Efficient Memory Overloading Handling in LLM Serving

  Python

  •00 forks•22 stars•00 issues•00 pull requests•Updated May 22, 2026May 22, 2026

• OS-Course-Lab

  Public
  本仓库包含上海交通大学IPADS实验室设计的操作系统课程系列实验，以及前置课程ICS/CSAPP的系列实验。

  C

  •

  Mulan Permissive Software License, Version 2

  •151151 forks•531531 stars•11 issue•11 pull request•Updated May 12, 2026May 12, 2026

• dgc-artifacts

  Public
  Java

  •00 forks•11 star•00 issues•00 pull requests•Updated May 8, 2026May 8, 2026

• GPU-Graph-ANN

  Public
  This is the implementation repository of our OSDI '26 paper: Disentangling Graph Dependencies for Efficient Billion-Scale GPU Vector Search.

  Cuda

  •

  Apache License 2.0

  •00 forks•44 stars•00 issues•00 pull requests•Updated May 7, 2026May 7, 2026

• SkVM-data

  Public
  Data repo for SkVM

  Python

  •11 fork•55 stars•00 issues•00 pull requests•Updated Apr 27, 2026Apr 27, 2026

• FM-Agent

  Public
  Python

  •

  Apache License 2.0

  •2424 forks•22 stars•00 issues•00 pull requests•Updated Apr 19, 2026Apr 19, 2026

• wukong

  Public
  A graph-based distributed in-memory store that leverages efficient graph exploration to provide highly concurrent and low-latency queries over big linked data

  distributed-systemsin-memoryrdma+ 2

  distributed-systemsin-memoryrdmagraph-query-storelow-latency-queries

  C++

  •

  Apache License 2.0

  •2929 forks•192192 stars•44 issues•00 pull requests•Updated Jan 4, 2026Jan 4, 2026

• Ascend-Embody-Web

  Public
  CSS

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 4, 2026Jan 4, 2026

• SQLDriller

  Public
  Repository for paper "Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency" (SIGMOD '25)

  Python

  •

  Apache License 2.0

  •22 forks•99 stars•00 issues•00 pull requests•Updated Jan 4, 2026Jan 4, 2026

• xsched

  Public
  A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs

  C

  •

  Apache License 2.0

  •2525 forks•1111 stars•00 issues•00 pull requests•Updated Jan 2, 2026Jan 2, 2026

• MetaAttention

  Public
  MetaAttention: A Unified and Performant Attention Framework Across Hardware Backends(PPoPP'26)

  C++

  •

  MIT License

  •22 forks•1515 stars•00 issues•00 pull requests•Updated Dec 31, 2025Dec 31, 2025

• specfs

  Public
  SpecFS [FAST'26]

  C

  •

  MIT License

  •1010 forks•4040 stars•00 issues•00 pull requests•Updated Dec 28, 2025Dec 28, 2025

• HEDB

  Public
  Towards A Secure Yet Maintainable Encrypted Database

  postgresdatabase-managementencrypted-database+ 2

  postgresdatabase-managementencrypted-databasemaintananceconfidential-computing

  C++

  •

  Other

  •77 forks•6666 stars•00 issues•00 pull requests•Updated Dec 3, 2025Dec 3, 2025

• SQLSolver

  Public
  An automated prover that verifies the equivalence of SQL queries

  Java

  •

  Apache License 2.0

  •55 forks•6767 stars•00 issues•00 pull requests•Updated Nov 22, 2025Nov 22, 2025

• copier

  Public
  Copy as an OS Service

  C

  •

  GNU General Public License v3.0

  •66 forks•2727 stars•33 issues•00 pull requests•Updated Nov 20, 2025Nov 20, 2025

• Cloud-Operating-Systems

  Public
  Go

  •11 fork•66 stars•00 issues•00 pull requests•Updated Nov 5, 2025Nov 5, 2025

• PhoenixOS

  Public
  Fast OS-level support for GPU checkpoint and restore

  gpucudacriu+ 1

  gpucudacriucheckpoint-restore

  C++

  •

  Apache License 2.0

  •3333 forks•282282 stars•1010 issues•22 pull requests•Updated Sep 28, 2025Sep 28, 2025

• SmallThinker

  Public
  Apache License 2.0

  •11 fork•5151 stars•33 issues•00 pull requests•Updated Jul 30, 2025Jul 30, 2025

• PhoenixOS-Remoting

  Public
  Rust

  •1111 forks•2020 stars•33 issues•00 pull requests•Updated Jul 10, 2025Jul 10, 2025

• Spars-artifacts

  Public
  A Scalable and Parallel OS Rendering Service

  C

  •

  Apache License 2.0

  •00 forks•44 stars•11 issue•00 pull requests•Updated Jun 16, 2025Jun 16, 2025

• On-Demand-Remote-Paging

  Public
  A fine-grained remote paging system for memory disaggregation.

  C

  •22 forks•66 stars•11 issue•00 pull requests•Updated May 28, 2025May 28, 2025

• jade-artifacts

  Public
  Java

  •00 forks•44 stars•00 issues•00 pull requests•Updated Apr 8, 2025Apr 8, 2025

• ServerlessBench

  Public
  A benchmark suite for serverless computing

  C++

  •

  Other

  •4141 forks•233233 stars•66 issues•22 pull requests•Updated Feb 24, 2025Feb 24, 2025

• SQLSolver-artifacts

  Public
  Java

  •11 fork•22 stars•00 issues•00 pull requests•Updated Dec 23, 2024Dec 23, 2024

• PipeLLM

  Public
  C++

  •33 forks•2828 stars•11 issue•00 pull requests•Updated Dec 22, 2024Dec 22, 2024

• krcore-artifacts

  Public
  Ths is a fast RDMA abstraction layer that works both in the kernel and user-space.

  rustrdmadct

  rustrdmadct

  Rust

  •88 forks•5959 stars•55 issues•00 pull requests•Updated Nov 12, 2024Nov 12, 2024

• PhoenixOS-CRIU

  Public
  C

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 6, 2024Nov 6, 2024

• PhoenixOS-Assets

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Nov 2, 2024Nov 2, 2024

• disb

  Public
  DISB is a new DNN inference serving benchmark with diverse workloads and models, as well as real-world traces.

  C++

  •

  Apache License 2.0

  •77 forks•5959 stars•22 issues•00 pull requests•Updated Aug 21, 2024Aug 21, 2024