Programming Languages
22,646 items in 77 lists
-
JellyScript github.com
Brainfuck-based with delicious jelly.
-
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.
-
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
-
An Introduction to MathComp-Analysis staff.aist.go.jp
Lecture notes on getting started with the Mathematical Components library and using it for classical reasoning and real analysis.
-
Coq tag on Stack Overflow stackoverflow.com
-
Volume 3: Verified Functional Algorithms softwarefoundations.cis.upenn.edu
Demonstration of how a variety of fundamental data structures can be specified and verified.
-
Volume 5: Verifiable C softwarefoundations.cis.upenn.edu
An extended tutorial on specifying and verifying C programs using the Verified Software Toolchain.
-
Volume 6: Separation Logic Foundations softwarefoundations.cis.upenn.edu
An introduction to separation logic and how to build program verification tools on top of it.
-
Volume 4: QuickChick softwarefoundations.cis.upenn.edu
Introduction to tools for combining randomized property-based testing with formal specification and proof.
-
Volume 2: Programming Language Foundations softwarefoundations.cis.upenn.edu
Introduction to the theory of programming languages, including operational semantics, Hoare logic, and static type systems.
-
Volume 1: Logical Foundations softwarefoundations.cis.upenn.edu
Introduction to functional programming, basic concepts of logic, and computer-assisted theorem proving.
-
Thomas Letan's blog posts on Coq soap.coffee
-
Hybrid site.uottawa.ca
System for reasoning using higher-order abstract syntax representations of object logics.
-
PLClub Blog seas.upenn.edu
- next page of items loading…
