Could we say that Anki is a non-gamified app for learning?
Anki is complicated to the point of being intimidating. Even just the card/note split is quite confusing—I built another app to drill me on decks backwards and forwards because I found this so confusing.
Anki had always the problem of being difficult to figure out how to use it effectively for learning. It's like C++. A million ways to shoot yourself in the foot if you use it wrong.