Directed algebraic topology
Applications of algebraic topology
Rational homotopy theory
Lusternik-Schnirelmann category and topological complexity
Software
pg2hda - A tool to compute higher-dimensional automata modeling concurrent systems given by program graphs
Free software (MIT license). Download from GitHub