在LEAN4中嵌入和形式化GAP（组、算法、编程），
An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4, (2022-05-18, GAP, 0KB, 下载0次)
CAP项目——类别、算法和编程，
CAP project -- Categories, Algorithms, and Programming, (2023-08-17, GAP, 0KB, 下载0次)
用于GAP编程语言的不同数学对象的可视化和动画包，
A package to visualize and animate different mathematical objects for the GAP programming language, (2023-07-24, GAP, 0KB, 下载0次)
[OBSOLETE]Gentee编程语言，
[OBSOLETE] Gentee programming language, (2018-09-20, GAP, 0KB, 下载0次)
GAP的主要开发存储库-组、算法、编程、计算离散代数系统
Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra (2023-06-19, GAP, 0KB, 下载0次)