Dan Christensen's repositories
NonAccessible
Coq formalization of existence of non-accessible localizations
book
A textbook on informal homotopy type theory
Language:TeX000
coq-tricks
Tricks you wish the Coq manual told you
Language:Coq000
InteractiveJPDwB
interactive Javaplex demo with TDA barcodes
Language:Processing000
JoinChrome
Chrome Extension for Join
Language:JavaScript000
mailnag
An extensible mail notification daemon
Language:PythonGPL-2.0000
numba
NumPy aware dynamic Python compiler using LLVM
Language:PythonBSD-2-Clause000
OpenSprinkler-Firmware
OpenSprinkler Unified Firmware for OpenSprinkler, OpenSprinkler Pi, and OpenSprinkler Beagle.
Language:C++GPL-3.0000
ultratex
Emacs modes "light" for lightning completion and "ultratex" for editing TeX files
Language:Emacs LispNOASSERTION000