Sage includes support for constructing simplicial complexes and computing their homology.
Polytopes
Finite simplicial complexes
Enter search terms or a module, class or function name.