Bootstrap yourself to write an OS from scratch. A book for self-learner.

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

Mission: To provide a high-quality open content data structures textbook that is both mathematically rigorous and provides complete implementations.

Programmatic generation of high-quality CVs

A business card in LaTeX.

A keynote talk for LambdaJam 2015 (July 15--16)

The Principia Rewrite

"Introduction to Functional Programming in Haskell", a Glasgow University Computing Science MOOC to be hosted on FutureLearn in October 2016

EPIT 2020 - Spring School on Homotopy Type Theory

Git introduction: A book about git (in Croatian). Uvod u git: Sve što ste ikad htjeli znati o gitu, a niste se usudili pitati.

A softcover version of the online elixir getting started guides

A List of Haskell articles on good design, good testing

This is an open source ansible book project

Ben Franklin-esque Schedule in LaTeX

Code and paper

Worksheets and lecture notes for my math courses for school students (in German)

Formal verification of Instruction Sets in Virtual Machines