Explore projects

Linux kernel variant from Analog Devices; see README.md for details

https://guix.gnu.org/

https://git.savannah.gnu.org/git/guix.git

https://git.sjtu.edu.cn/sjtug/guix.git

A mirror of the main tree of Gentoo/Linux

https://kernel.source.codeaurora.cn/

https://git.kernel.org

https://kernel.org/beijing-git-mirror.html

https://github.com/seL4/sel4

https://sel4.systems/

公共日历订阅服务

https://openzfs.org/

软件学院编译原理课程讲义