Explore projects

https://guix.gnu.org/

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

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

https://illumos.org/

https://github.com/illumos/illumos-gate

https://gitee.com/mirrors/illumos-gate.git

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

A mirror of the main tree of Gentoo/Linux

https://github.com/seL4/sel4

https://sel4.systems/