For formulas, I find Anki to be pretty effective, because it forces me to recall the formula. I also try to put proofs and proof-techniques into Anki so I can maintain knowledge of an area without using it frequently.