Parody definition is humorous imitation so the ones I mentioned definitely are. Omgrofl (and similar LOLCODE) can be argued is also satire in regards to adoption of internet slang/memes in formal environments and chasing trends in programming/engineering design. The other two agree they aren't. But to me seemed, considering submitted language and their own examples, GP was asking for parody/thematic languages, which is why included those. The wiki links weren't meant to say joke/thematic == satire/parody. It's just that the wiki lacks explicit "parody" and "satire" categories, instead listing any relevant to those topics under the two given ones.