Pinned Repositories
bibtex2html
book
A textbook on informal homotopy type theory
checker
an attempt at making a prototype proof checker for experimental purposes
coq-builder
A system of makefiles for building coq and the programs it requires.
coq-tex
Process coq code in a tex file, adding coq's output to the tex file so it appears in the final document.
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.
Ktheory
formalization of theorems of higher algebraic K-theory
M2
The primary source code repository for Macaulay2
UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
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's Repositories
DanGrayson/Ktheory
formalization of theorems of higher algebraic K-theory
DanGrayson/checker
an attempt at making a prototype proof checker for experimental purposes
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/M2
The primary source code repository for Macaulay2
DanGrayson/bibtex2html
DanGrayson/book
A textbook on informal homotopy type theory
DanGrayson/coq-builder
A system of makefiles for building coq and the programs it requires.
DanGrayson/cubicaltt
DanGrayson/debounce-mac
Frustrated that OS X doesn't have a simple software keyboard debouncer. Here's my hack.
DanGrayson/dedekind-reals
A formalization of the Dedekind reals in Coq
DanGrayson/PianoMusic
piano scores with my personal annotations for my piano lessons
DanGrayson/UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
DanGrayson/UniMath-Workshops
DanGrayson/Workshop-2016-Utah
Collaboration area for the Macaulay2 workshop at the University of Utah, May 7-10, 2016.
DanGrayson/Workshop-2016-Warwick
Collaboration area for the Macaulay2 workshop at the University of Warwick, May 23-26, 2016.
DanGrayson/a-star
Software and drivers for the Pololu A-Star 32U4 Micro.
DanGrayson/cgc1
Conservative Garbage Collector in C++11
DanGrayson/cgc1-1
Conservative Garbage Collector in C++11
DanGrayson/coq
This is my fork of the coq github source repository, for working on improvements for HoTT.
DanGrayson/coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
DanGrayson/homebrew-core
🍻 Default formulae for the missing package manager for macOS
DanGrayson/InteractiveShell-1
Build web apps for interactive command-line tools
DanGrayson/Internals
In this repository we record some files used to demonstrate the internal operation of the Macaulay2 build system and source code.
DanGrayson/libmidi44
DanGrayson/M2-merge
run M2 on code embedded in a TeX file and insert the output
DanGrayson/Macaulay2.github.io
The Macaulay2 web site
DanGrayson/MutopiaProject
Open source sheet music
DanGrayson/PendulumTimer
a timer for pendulum clocks
DanGrayson/TypeTheory
DanGrayson/VV-paths-Csystems-univ