Surprised TOEM isn’t on your list, given the premise is pretty much exactly what you describe. Last I checked it comes up on the first page or something if you sort steam by highest rated.

Lunacid might also be a good game. I think it fits your criteria for me, but that might just be for me.

I have mine set up with a bunch of categories that are sorted with a prepended 3-digit number. Allows me to have different sections of category without it getting mixed up. ex:

010 S
011 A+
012 A
013 A-
014 B+
etc...
350 plz play soon
355 wont play
...
800 dont remember buying this

Huh. When I took Calculus II in community college, the professor introduced sum notation and like 2/3 of the class was like “wow that’s cool I didn’t know about that”. I don’t remember ever being formally taught it before that but it still surprises be how few people where already familiar with it.