GitLab

公共日历订阅服务

A mirror of the main tree of Gentoo/Linux

https://guix.gnu.org/

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

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

A event tracking library for Node.js and Web

我在南京大学人工智能专业学习时所做的笔记 :-)

2022年EL大赛交互组摸鱼鱼鱼组的作品。南大二手交易平台。

defect4j <2.0 版本的验证脚本。

Codet5 稍作修改的代码

FreeTradeArea Data Management System ，南京大学自贸区综合研究数据库管理系统，NJU商软合作项目

https://gitlab.com/nonguix/nonguix

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

https://github.com/seL4/sel4

https://sel4.systems/

https://tinycc.org

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

Tiny C Compiler