[dfan]

I've been using Mnemosyne for over 4 years (9000 cards) and have been quite happy with it. The only slowness I've noticed is when generating graphs of extended time periods (over a month).