Daniel R. Grayson's repositories
VV-C-system-from-a-monad
This repository contains various versions of Voevodsky's paper "C-system of a module over a Jf-relative monad"
coq-builder
A system of makefiles for building coq and the programs it requires.
debounce-mac
Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.
dedekind-reals
A formalization of the Dedekind reals in Coq
PianoMusic
piano scores with my personal annotations for my piano lessons
Workshop-2016-Utah
Collaboration area for the Macaulay2 workshop at the University of Utah, May 7-10, 2016.
Workshop-2016-Warwick
Collaboration area for the Macaulay2 workshop at the University of Warwick, May 23-26, 2016.
homebrew-core
🍻 Default formulae for the missing package manager for macOS
InteractiveShell-1
Build web apps for interactive command-line tools
Macaulay2.github.io
The Macaulay2 web site
MutopiaProject
Open source sheet music
PendulumTimer
a timer for pendulum clocks