Anki is the gold standard for spaced repetition. Baxio generates flashcards and quizzes from your lectures, with summary, mind map and mentor.