There's pretty good understanding on how quantum mechanics works (for decades), and you can easily write theoretical algorithms for such computers. It can be all expressed with matrix multiplications. See Shor's algorithm for an example.