Roomie and IRule both have extensive threads and active communities in this forum and will both do what you are looking for.
I am an iRule user myself.
Both apps run on iDevices like ipod touch, iphone and ipad and ipad mini. I am not sure if Roomie is available for android but iRule is, I use it on my Kindle Fire and love the size of the remote I have created.
Both apps use a device from Global Cache, either an itach or gc-100 to convert the IP/wifi signal sent from your remote and send it on as an IR command to your AV equipment.
Both apps can also control IP controllable equipment, such as that Denon receiver mentioned above, Directv boxes and many more things directly. No need for a Global Cache gateway.
The PS3 will need a bluetooth to IR converter to be able to be controlled. There are many on the market from logitech, schmartz etc. Be sure to get one that can both power on and power off the PS3.
From my limited understanding of Roomie and my several year experience with iRule where the 2 apps differ is in customization. Both apps can get you up and running fairly quickly with standard templates. iRule allows you to design a remote custom remote from the ground up. You can use their standard buttons or upload your own custom buttons. You can take their standard buttons and add graphics to them. See the iRule pictures thread here for some examples of what the user community has come up with. I will say that the design and creation of a remote from scratch can be time consuming. The iRule builder interface has a learning curver. I am not a technically gifted individual. I came in to this knowing how to hook up your basic AV setup. iRule has spurred me to build my own PC, run 15 runs of cat6 wiring in my house and self terminate them, learn some basic rs232 command protocol, learn the basics of GIMP/photoshop for modifying the icons/buttons in the iRule builder.
Again, I have no experience using Roomie. I've been with irule basically since they launched the app. I use it daily to control 4 zones in my home via self created remotes running on 2 ipod touches, 2 Kindle Fires, an EVO 4G and a Photo Q phone. I control 4 TVs, Dune Player, 3 DTV boxes, a monoprice 4x4 HDMI, Denon AVR, PS3, Pioneer AVR, jRiver mediacenter on my PC, 3 IP cameras and a Sonos Connect and as soon as my last dimmer switch arrives, the insteon lights in my basement theater as well.
I believe both apps offer a trial. With your IP controllable receiver you could play around with both without having to buy anything. The Global Cache devices needed for IR and RS232 control (similar to IP, allows feedback with iRule at least) start at around $100.
Again, both apps have active threads here. Check them out.