Open source algorithm for spaced repetition developed by Piotr Wozniak from the late 1980s. Used in Anki.