Shakespeare shakespearelang.sourceforge.net

Language where the code appear to be Shakespearean plays.

Let's Build a Basic Interpreter (Ruslan's Blog) ruslanspivak.com

Series of articles explaining the basics of compilers and interpreters and how to build one.

Reddit Esolangs reddit.com

Reddit community on esolangs.

ajsone quaxio.com

Language defined completely in JSON.

legit morr.cc

Programs defined entirely by the graph of the git repository instead of its contents.

Unlambda madore.org

Obfuscated functional programming.

LolCode lolcode.org

Language with keywords based on the lolcat meme expressions.

ArnoldC lhartikk.github.io

Based on the best one-liners of Arnold Schwarzenegger.

Orca hundredrabbits.itch.io

Livecoding environment to quickly create procedural audio sequencers.

Golfscript golfscript.com

Stack oriented, aimed at solving problems in as few keystrokes as possible.

Anarchy Golf golf.shinh.org

Informal golfing problems server.

Stacksort gkoberger.github.io

Sorts a list by searching answers in Stack Overflow and executing code snippets until is sorted.

Esoteric Codes esoteric.codes

Articles and documents collection.

reMorse esolangs.org

Morse-styled language.

><> esolangs.org

A stack-based 2d language with support for reflection.

Z esolangs.org

Use only the letter z.

Unary Except Every Zero Is Replaced with the Title of This Programming Language or, Alternately, Is Replaced with the… esolangs.org

Derivative of Unary in which every zero is replaced with the title of the programming language being discussed.

Unary esolangs.org

Brainfuck-based language where all the commands are 0.

Technologic esolangs.org

Language in which programs look like the lyrics to the Daft Punk song Technologic.

Omgrofl esolangs.org

Syntax resembling Internet slang.

Malbolge esolangs.org

Named after the 8th level of hell, is designed to be as difficult as possible to program.

Esolang List of ideas esolangs.org

Compilation of ideas for esoteric languages and related.

Fugue esolangs.org

Music as source code.

DNA# esolangs.org

Language based on the structure of the DNA.

Chicken esolangs.org

Only 1 valid symbol: 'chicken'.

COW esolangs.org

Brainfuck variant using twelve variations of moos as instructions.

Brainfuck esolangs.org

Minimalist language using only 8 single-character commands.

Befunge esolangs.org

Two-dimensional language.

1+ esolangs.org

A surprisingly user-friendly language with a highly-limited instruction set.

Esolang esolangs.org

Wiki of esoteric programming languages and related Resources.

Wikipedia/Esoteric programming languages en.wikipedia.org

Wikipedia list of esoteric languages.

Emojicode emojicode.org

Full-blown programming language consisting of emojis.

Esolangs Discord Server discord.gg

A Discord community about esoteric languages.

ZOMBIE dangermouse.net

Inherently evil multithreaded language designed for Necromancers.

Whenever dangermouse.net

Language that does things whenever it wants.

Piet dangermouse.net

Language in which programs look like abstract paintings using colors as code. Named after Piet Mondrian.

Petrovich dangermouse.net

Operating System concept based on random actions and rewards/punishments.

Ook! dangermouse.net

Brainfuck-based language, where the commands are orangutan words.

Haifu dangermouse.net

Designed with the core values of Eastern philosophy in mind.

Chef dangermouse.net

Programs that look like cooking recipes.

DM's Esoteric Programming Languages dangermouse.net

List of esoteric languages and algorithms written by dangermouse.

Code Golf Stack Exchange codegolf.stackexchange.com

Golfing problems and answers.

INTERCAL catb.org

Parody language intended to be completely different from other languages.

On the Turing Completeness Of MS PowerPoint andrew.cmu.edu

Turing Machine on PowerPoint.

Coq keyword on Zenodo zenodo.org

Official Coq X/Twitter x.com

VST vst.cs.princeton.edu

Toolchain for verifying C code inside Coq in a higher-order concurrent, impredicative separation logic that is sound w.r.t. the Clight language of the CompCert compiler.

Vélus velus.inria.fr

Verified compiler for a Lustre/Scade-like dataflow synchronous language.

Proofs and Reliable Programming using Coq team.inria.fr

Introduction to developing and verifying programs with Coq.

Official Coq-Club mailing list sympa.inria.fr