Explore projects

seL4 specification and proofs, see official repositories at https://github.com/seL4. Currently learning stuff at: tools/c-parser/standalone-parser/

代码静态分析

西安邮电大学 起个啥队名好呢 proj118-eBPF-based-monitor-for-container

北京航空航天大学 SOS

消失的发际线，上海海洋大学

used for submit

天津大学-北洋os小分队-proj154

华中科技大学 proj117 还没起名字组

华南理工大学 - 群除我佬 - proj154

zgmos, 合肥工业大学宣城校区

The Yu (羽) programming language.

2021年全国大学生计算机系统能力大赛—— 编译系统设计赛(第二届)