directed-cubical (hackage): Finite directed cubical complexes and associated algorithms
Keywords: bsd3|library|math