Explore projects

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

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

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

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

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

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

山东大学,T2026104229910110,鳌山卫小分队,proj21

天津理工大学

队伍ID: T202510060995851 队伍名称: 专业团队 学校名称: 天津理工大学

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

项目描述：内核代码映射用户态，openKylin linux内核结构的精准移植。就像园丁一样，它通过二进制补丁修剪环境特定的藤蔓，以便用户空间的重用。 高校名称：天津职业技术师范大学 队伍ID:T202510066998080 队伍名:新建文件夹 选题方向:应用优化 项目名称:LibKCode

华南师范大学 T2026105749911076 millennium真理社 proj40

天津大学，T2026100569911148，北洋的孩子，proj21

手搓数据库队，南京航空航天大学

【学校】：西安邮电大学 【ID】：T202411664993243 【队伍名】：你宁可空转也不愿被我抢占 【项目】：Proj292