Explore projects

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

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

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

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

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

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

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

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

高校名称：华中科技大学 队伍ID：T2026104879910019 队伍名：恒普队 题目ID：proj21

Complier by Xuanyu Peng

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

中国科学技术大学 666队

队伍名称：自主可控编译器 学校名称：华中科技大学

队伍名称：搞个编译器 学校名称：重庆理工大学