It is an old and straightforward method for computing homology groups, but one that is hard to do by hand. Currently there are a number of important operations missing - notably quotients and products.
Products are a trickier thing.
Currently my plan to actually implement a means of handling fibre bundles, and of course products are a special case of fibre bundles. Closely related to this is the issue of group actions, another project for the future. Of course there are all kinds of other things that could be done, such as work in categories other than the simplicial one. Cubes would be more efficient certainly, or some other kind of generalized cell complex, or perhaps even algebraic varieties. I wanted the code to closely follow the mathematics in this first version to keep everything clear.