Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

Translation of proposed Navier-Stokes solution by Mukhtarbay Otelbaev