GitLab

https://guix.gnu.org/en/cuirass/

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

A mirror of Gentoo/Linux science overlay

https://gitlab.com/nonguix/nonguix

https://github.com/google/riscv-dv

https://tinycc.org

https://repo.or.cz/tinycc.git

Tiny C Compiler

https://github.com/riscv/riscv-gnu-toolchain.git

https://gitee.com/mirrors/riscv-gnu-toolchain.git

A fork of https://github.com/forewing/nju-health-checkin

https://github.com/seL4/sel4

https://sel4.systems/

研究生学习期间做的笔记

南京大学协同表格 table.nju.edu.cn （SeaTable）适用的补充内容，包括一些实用JavaScript脚本、Python脚本、多选标签JSON文件