This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A268225 #6 Jan 31 2016 12:11:33 %S A268225 1,1,5,16,55,235,1102,5757,33251 %N A268225 Number of types of lambda-terms of term size n. %H A268225 P. Tarau, <a href="http://arxiv.org/abs/1507.06944">A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations</a>, arXiv preprint arXiv:1507.06944 [cs.LO], 2015. %Y A268225 Cf. A220471. %K A268225 nonn,more %O A268225 1,3 %A A268225 _N. J. A. Sloane_, Jan 30 2016