IBM also have stuff for this based on the qiskit project. I don't know anything about the software interface for the amazon thing at all but I think IBM's quant

IBM also have stuff for this based on the qiskit project. I don't know anything about the software interface for the amazon thing at all but I think IBM's quantum computers are generally considered better than the Rigetti ones that amazon is selling time on (this is almost entirely based on hearsay and one talk I saw by a team working with Rigetti). At least a lot of researchers I know use the IBM stuff. I have never even heard of IonQ before, so I can't comment on them.