Various woefully incomplete mechanizations of Luo's Extended Calculus of Constructions.

Tool for working with Logitech Unifying receivers and devices (mirror)

The agda-unimath library

a web ring for friends

Logical Relation for MLTT in Coq

A simple way to make HTML websites

A work-in-progress core language for Agda, in Agda

Qt plug-in to allow Qt and KDE based applications to read/write JXL images.

a viewer for mastodon export data

the fibonacci only you would give me

A Hakyll [plclub] website (https://www.cis.upenn.edu/~plclub/)

A refreshed version of Hyde for Jekyll 3.x and 4.x

Logical manifestations of topological concepts, and other things, via the univalent point of view.

Lecture notes on univalent foundations of mathematics with Agda

PDF file size optimizer

papers of Per Martin Löf