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

A modern LaTeX Beamer theme

Gemini is a modern LaTex beamerposter theme 🖼

A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis

papers of Per Martin Löf

The Type Astronaut's Guide to Shapeless

A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

Formalizations of Gödel's Ontological Proof of God's Existence

Research on integrating datalog & lambda calculus via monotonicity types

A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.

Build Systems à la Carte

Make Project Oberon Pretty Again

Functional teaching language for use in a discrete mathematics course

History of Programming Languages, Spring 2017

A LaTeX package for formatting meta-theory.

Stroll: an experimental build system

Some operator abuse

Introduction to Cryptography for Computer Science students with basic intro to mathematical fields such as group and number theory.

A case study in Iris formalizing a concurrent stack with helping.