A manual for running local programming languages conferences, in the style of NJPLS.

Generate good induction principles on nested inductive types

The Anti-Exploitation License (AEL) is a license for people who are sick of their work being exploited or used to cause harm.

eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

Vim syntax highlighting for the ott programming languages design tool

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