What sort of software for BIM are there out in the market?

There are several, and I will mention just the most populars, and you can divide them in 5 big groups depending in the Discipline:
-Architectural (Revit, ArchicAD, Vectorworks, Bentley, Allplan +more)
-Structural calculation (Revit, Bentley, Tekla, SAP2000, Scia, Etabs +more)
-MEP (AutoCAD MEP, Revit, Bentley, ArchiCAD, MagiCAD, DDS +more)
-Project Coordination or Integration (Navisworks, VICO, BIMSight, Solibri, Onuma +more)
-Building Performance (Ecotect, Riuska, Green Building studio, EcoDesigner(ArchicAD)

There are a lot more, and even more under development, you can take a look here for instance:
http://www.buildingsmart-tech.org/implementation/implementations

Regards

Nando M