I've tried both Supermemo and Anki. Supermemo's algorithm is much better - I found I spent less time reviewing compared to Anki. Unfortunately, it's Windows only so I use Anki for the convenience.