homotopy-category
There are 3 repositories under homotopy-category topic.
homalg-project/HigherHomologicalAlgebra
A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
homalg-project/HomalgProject.jl
The homalg project compatibility package for Julia
kamalsaleh/HigherHomologicalAlgebra
A collection of gap packages for categorical homological algebra with special focus on homotopy categories and derived equivalences