Super Square Bros is a fun little game. It is built for the 32blit handheld but is runable on linux. Obviously the square characters are not graphically interesting but gameplay is good. Doesn't support two player simultaneous which is something I'm still looking for in a platformer.
Super Square Bros Github