Explore projects

CI GitHub actions for the seL4 repositories, see official repositories at https://github.com/seL4

南开大学 库乐队 proj105

中科大-ZYJ333-proj2

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

进击のOS 杭州电子科技大学

进击のOS 杭州电子科技大学

一个不到 500 行的超轻量型 HTTP Server，可以用来理解服务器程序的原理和本质

used for submit

Team StackOverflow, from Peking University.

北京交通大学，Bellard不干了，proj216-la-tcc

南开大学 ooLoongTea proj216

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

Team StackOverflow, from Peking University.