Love2D is pretty good, and what I'm using to develop the game I'm working on (Claude works pretty well with it too, I've been assigning it some tasks on Github).

Pico-8 is a bit simpler and is also based on Lua.

There's also the Playdate console. Anyone can make games for it, and it's also based on Lua (and has its own low-code Pulp engine you can make games with also). That would be a fun way to make games and have a console to play them on.

The console isn't cheap though, and it's easy to break (I dropped it on accident from about 2 feet up and its liquid crystal display cracked and leaked and had to be replaced, at almost the full cost of the console again), so they'd have to be careful with it. But it's fun!