Some well-known satire/parody languages are Omgrofl, Shakespeare, ArnoldC, but there're many more. Can check https://esolangs.org/wiki/Category:Thematic & https://esolangs.org/wiki/Category:Joke_languages. But although weird esolangs, don't see how Velda and Piet be considered satire.

INTERCAL was also a satire of the programming languages of its era, AFAIK.

I would say these are just joke languages that aren't trying to parody anything or use satire.

When I think of parody or satire in programming languages, the example that comes to mind is the "C plus equality" project used for rather trolling critique of contemporary "social justice" ideology.

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.

Fair enough.

Does Rockstar count? https://codewithrockstar.com/

These are the types of projects that are becoming viable with AI. Previously they were too expensive.

I love this.

It isn't a programming language. It is a static site written by AI, with jokes written by AI. Tastes like microwaved steak & it definitely would not have been too expensive to do before AI.

No, actually Zuck# works, this is a working language.

Many types of projects are now vibable.

There's TrumpScript.

https://github.com/samshadwell/TrumpScript

It's designed completely wrong.

Trump programs would end with "Thank you for your attention to this matter."

The project dates to the 2016 election campaign and was archived in 2020. I don't think Trump had that particular speech affect that time around, or at least I can't recall it being memed upon the way it is now.

I mean theoretically brainf*ck is, but I'm pretty if you were to find satirical programming languages they would be satirizing development itself or a type of development (object-oriented, functional), and this is satirizing a purpose of development.