While not DEC specific don't forget about 101 Basic computer games: https://archive.org/details/bitsavers_decBooks10Mar75_26006648 Most aren't that great but there are a few interesting ones to play with.