Explore projects

学校：重庆理工大学 队伍名称：还有这事？！ 所选赛题：proj20

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

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

The musllibc with loongarch support, see official repositories at https://github.com/seL4

毕昇杯编译器比赛

HyCompiler氢氢编译器测评仓库 中南大学：麓南双人组 前端借助antlr4，命令行解析器借助cxxopts，自身设计的IR和后端

宁夏警官职业学院，FSZ成蝶，proj174

复旦大学，啊对对队，proj223

中山大学 鸭鸭队 proj133

高校名称：哈尔滨工业大学（深圳） 队伍名：嘉然今天吃OS 项目编号：proj108