01Localization to derived equivalence via quasi-isomorphism detection
02Automated d^2=0 verification for all computational chain complexes
03Computation of Tor and Ext functors for tensor and extension obstructions
04Triangulated category support with shift functors and distinguished triangles
05Multi-page spectral sequence generation for signal convergence analysis
067 GitHub stars