There's also https://github.com/servusdei2018/GladiatorPits-MUD, which is a really well-written program dating back to 2000.