There are 2 repositories under derived-category topic.
A GAP framework for categorical homological algebra with special focus on homotopy categories and tilting equivalences
The homalg project compatibility package for Julia
A collection of gap packages for categorical homological algebra with special focus on homotopy categories and derived equivalences
Colloquium on generation via Frobenius