DanGrayson/Ktheory
formalization of theorems of higher algebraic K-theory
Repositories
DanGrayson/epkg
Here I present a simple bug fix to epkg, the encap-based generic package manager. The problem was that it was setting the umask before creating files and directories.
DanGrayson/UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
DanGrayson/checker
an attempt at making a prototype proof checker for experimental purposes
DanGrayson/dedekind-reals
A formalization of the Dedekind reals in Coq
DanGrayson/M2
The primary source code repository for Macaulay2
DanGrayson/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"
DanGrayson/VV-paths-Csystems-univ
DanGrayson/PianoMusic
piano scores with my personal annotations for my piano lessons
DanGrayson/Macaulay2.github.io
The Macaulay2 web site
DanGrayson/Internals
In this repository we record some files used to demonstrate the internal operation of the Macaulay2 build system and source code.
DanGrayson/cgc1-1
Conservative Garbage Collector in C++11
DanGrayson/book
A textbook on informal homotopy type theory
DanGrayson/TypeTheory
DanGrayson/coq-tex
Process coq code in a tex file, adding coq's output to the tex file so it appears in the final document.
DanGrayson/debounce-mac
Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.
DanGrayson/Workshop-2016-Warwick
Collaboration area for the Macaulay2 workshop at the University of Warwick, May 23-26, 2016.
DanGrayson/Workshop-2016-Utah
Collaboration area for the Macaulay2 workshop at the University of Utah, May 7-10, 2016.
DanGrayson/cubicaltt
DanGrayson/bibtex2html
DanGrayson/UniMath-Workshops
DanGrayson/MutopiaProject
Open source sheet music
DanGrayson/homebrew-core
🍻 Default formulae for the missing package manager for macOS
DanGrayson/Foundations2
Development of the univalent foundations of mathematics in Coq
DanGrayson/cgc1
Conservative Garbage Collector in C++11
DanGrayson/ProofGeneral
ProofGeneral, adapted for use with "checker", my prototype proof assistant
DanGrayson/InteractiveShell-1
Build web apps for interactive command-line tools
DanGrayson/libmidi44
DanGrayson/coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
DanGrayson/M2-merge
run M2 on code embedded in a TeX file and insert the output