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

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

Lean4 library for substitution inspired by autosubst

Logical Relation for MLTT in Coq

The agda-unimath library

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

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

Generate good induction principles on nested inductive types

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

Lecture notes on univalent foundations of mathematics with Agda

a web ring for friends

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

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

the fibonacci only you would give me

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

A basic Categories with Families library for Lean

PDF file size optimizer

Vim syntax highlighting for the ott programming languages design tool

a viewer for mastodon export data

papers of Per Martin Löf

A simple way to make HTML websites

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

eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee