Yes, I use it – it’s a great tool for practising – it lets you write chord progressions and choose a style, speed, instruments and tempo, transposing, etc. It also generates nice PDF charts, for example, I’m using it to build a piano score so my son can play with me at EP295, take a look:

https://www.dropbox.com/s/tz4jjhjksboyoof/ireal-ragtime-blues.pdf?dl=1

A great tool for practising indeed, you can loop parts, or make it automatically increase the tempo, or transpose incrementally.

Unfortunately there’s no windows version, but you can try it on your tablet or phone if you have Android or iOS.

Here’s another video showing a general overview at using iReal Pro for practising:

Ah yes, Band in a Box is a similar tool, never tried it but it looks awesome. Maybe iReal Pro is easier to use as it’s oriented for chord progressions, probably Band in a Box has more features, but maybe it gets too distracting.

I have a pedal called Digitech Trio+ Band Creator, which is basically Band in a Box in a pedal:

It’s quite awesome, you enter the chord progressions by strumming your guitar and then it generates a backing track based on those – but in the end, it gets too distracting for me so I just use a simple looper pedal, and sometimes iReal Pro, that’s much easier for what I need.