Explore projects

2023全国大学生计算机系统能力大赛数据库管理系统设计赛

2024年全国大学生计算机系统能力大赛-数据库管理系统设计赛

2025年全国大学生计算机系统能力大赛-数据库管理系统设计赛（第三届）

本项目包含多个仓库，当前仓库仅包含seL4微内核代码。 为了移植seL4微内核并运行测试程序，本团队fork了多个官方仓库，各仓库信息见readme。 seL4官方仓库地址：https://github.com/seL4。 中国科学技术大学，涛羊羊队（刘庆涛，雷洋，陈洋），题目：proj97-la-seL4。

2023全国大学生计算机系统能力大赛数据库管理系统设计赛 PingCAS队 天津理工大学

OS功能挑战赛道 356号赛题参赛项目 | 天津理工大学 参赛队伍：空格斜杠全角 ID：T202410060993081

浙江大学-牛校牛子队-proj118 Eunomia - A lightweight eBPF-based CloudNative Monitor tool for Container Security and Observability https://yunwei37.github.io/Eunomia/

本项目由南开大学 希望都队（队伍编号T2026100559910394）选题proj47 完成 StrideANN 是一个面向大模型 Agent 长时记忆场景的外存向量检索系统原型。项目以 DiskANN 的 SSD 常驻图索引为基础，在内存受限、查询并发高、读写混合的条件下，围绕图检索带来的随机 I/O 瓶颈进行系统级优化。我们的目标不是重新实现一个完整向量数据库，而是在 DiskANN 风格的底层索引和存储引擎上，验证面向 Agent memory 的读优化、写优化和参数自适应策略。

中山大学，e$NFS，proj108-eBPF-based-NFS

哈尔滨工业大学（深圳），T202518123996325，我重生了这一世我要夺回属于我的OS赛冠军，proj248

中国科学院大学，T202480132992586，Arborist, proj322。