Comparison of all the different game development software that run on Gameshell?

Is there a comparison of all the different software for game development that’ll run on the Gameshell? I.e. I know there’s PICO-8, TIC-80, and Love2D at the least, but are there any others? And what are the pros and cons of each? Thanks to all who decide to contribute.
EDIT#2: What should this post be categorized as? Tutorials? Q&A? Developers? Let me know.