I've never attempted a list of LEED approved software for LEED EAc1, and EAp2. I am sorry to omit anyone, but it's a common question.
First - There are a lot of software packages that can be used that are not mentioned explicitly (see "Other" in the list below)
Second - To give a simple answer to the question, LEEDonline does in fact have a list of common software programs (so it can tell you what reports to upload). Though it has been pointed out that LEED does not actually approve software, the actual software approval process is fairly complex, so the purpose here is to keep it simple.
List of approved LEED software
(Bold indicates it is mentioned within the LEEDonline v3 EAp2 forms)
HAP (Carrier HAP)
TRACE 700 (Trane TRACE)
OTHER (see requirements of Appendix G, Section G2)
BLAST (not mentioned within the LEED form, but listed in 90.1 section G2)
IES (Integrated environmental solutions, listed in LEED Advanced energy modeling)
Please comment with other software that you have used for LEED certification for EAc1
[Edit] Per a number of comments, here and elsewhere, I want to thank everyone for their feedback. A number of folks have mentioned ASHRAE std 140 - which is a key detail here. However, I mentioned it in a few other places - new modelers, and new LEED modelers are not likely going to be aware of that standard. As another response, I used to send people the link to the government list, but that proves overwhelming for new people - since new users are generally looking for the "heavy hitters" and not a huge list that yields further confusion.
BUT - if you are already acquainted with a software package, you can check with them and see if ASHRAE Std 140 is mentioned (and that the software passes the BESTEST). Then, it should be fine to submit to LEED>
Energy-Models.com is a site for energy modelers, building simulators, architects, and engineers who want learn the basics, to advanced concepts of energy modeling. We've got online training courses and tutorials for eQUEST, Trane TRACE 700, OpenStudio, and LEED for energy modeling. All our energy modeling courses are video based. What better way to learn energy modeling software than screen-casts of exactly how things are done?