homalg-project / CAP_project Star 34 Code Issues Pull requests Discussions CAP project -- Categories, Algorithms, and Programming modules category-theory internalization homological-algebra additive-closure freyd-category adelman-category vector-spaces Updated Aug 25, 2025 GAP
homalg-project / homalg_project Star 16 Code Issues Pull requests Deposited packages of the homalg project modules matrices gap computer-algebra-system rings homological-algebra Updated Aug 31, 2025 GAP
homalg-project / HigherHomologicalAlgebra Star 8 Code Issues Pull requests A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences gap homological-algebra derived-category homotopy-category derived-equivalences triangulated-categories complex-categories Updated Aug 29, 2025 GAP