John Tromp HomePage

tromp.github.io

Personal page of John Tromp, featuring research in computer science, combinatorial logic, and IOCCC entries.

why we picked it

The page collects research in combinatory logic and algorithmic information theory, including the compact Binary Lambda Calculus. It also features entries in the IOCCC and notes on minimalist golfing. Best suited for visitors with an interest in theoretical computer science and esoteric programming.

Checked with Google Web Risk · 2 hours ago

Visit tromp.github.io ↗ ♡ Save ↻ Surf somewhere else

language: EN
here since: July 2026