Looks nice, I submitted some patches to a similar project a few years ago (Mnemosyne, Python+PyQt). What algorithm are you using for scheduling the repetitions? The unmodified SM2 or Anki's derivate of it?