Open source algorithm for spaced repetition developed by piotr wozniak from the late 1980s. Used in anki.