Nathan van Doorn's repositories
project-euler
Project Euler solutions in Agda
agda-categories
A new Categories library
agda-stdlib
The Agda standard library
agda-unimath
Univalent mathematics in Agda
categories-examples
Examples of categorical structures
exdetyprolan
Experminental dependently typed programming language
hacksoc.org
HackSoc website
home-manager
Manage a user environment using Nix [maintainer=@rycee]
servant-uverb
Multiple response statuses and bodies per route for servant.
zombiesplit
perhaps, eventually, an IGT split tracker