[1]:http://groupoids.org.uk/nonab-a-t.html
[2]:http://groupoids.org.uk/pdffiles/brouwer-honor.pdf
[3]:http://mathoverflow.net/questions/3656/cubical-vs-simplicial-singular-homology/3836#3836

There are many ways in which the categories of simplicial sets and of  simplicial objects work very well, as mentioned above. More recently there has been a revival of the use of _cubical sets_, but with the additional  structure of **connections**, derived from  the monoid structures $\max,\min: I^2 \to I$. Dan Kan's first paper was cubical, but it was then realised that  cubical groups were not Kan complexes, and there was a serious problem with realisation of cartesian products. In 1996 A. Tonks proved cubical groups with connections are Kan and G. Maltsiniotis has proved that cubical sets with connections form a test category in the sense of Grothendieck. 

Thee is more on cubical sets in my answer to [this mathoverflow question][3], in the book [Nonabelian Algebraic Topology][1], and in this [recent article][2]. 

There are lots of areas which have been well worked over in the simplicial context but not in the cubical (with connection) context, e.g. cubical groups. So there is lots more evaluation work to be done.