Anki is a spaced repetition flashcard program. The cards are presented using HTML and may include text, images, sounds, and LaTeX equations.