eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

Vim syntax highlighting for the ott programming languages design tool

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

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

A basic Categories with Families library for Lean

The glitch-soc/Mastodon fork running on types.pl

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