Pinned Repositories
borg
Deduplicating archiver with compression and authenticated encryption.
Coq-HoTT
A Coq library for Homotopy Type Theory
attic
Deduplicating backup program
book
A textbook on informal homotopy type theory
borg
Deduplicating backup program with compression and authenticated encryption.
content
Lessons and problems for introductory Python 3 course
HoTT
Homotopy type theory
NonAccessible
Coq formalization of existence of non-accessible localizations
Spectral
jdchristensen's Repositories
jdchristensen/NonAccessible
Coq formalization of existence of non-accessible localizations
jdchristensen/attic
Deduplicating backup program
jdchristensen/book
A textbook on informal homotopy type theory
jdchristensen/borg
Deduplicating backup program with compression and authenticated encryption.
jdchristensen/content
Lessons and problems for introductory Python 3 course
jdchristensen/coq-tricks
Tricks you wish the Coq manual told you
jdchristensen/HoTT
Homotopy type theory
jdchristensen/Spectral
jdchristensen/InteractiveJPDwB
interactive Javaplex demo with TDA barcodes
jdchristensen/JoinChrome
Chrome Extension for Join
jdchristensen/lean2
Lean theorem prover version 0.2 (it supports standard and HoTT modes)
jdchristensen/mailnag
An extensible mail notification daemon
jdchristensen/numba
NumPy aware dynamic Python compiler using LLVM
jdchristensen/OpenSprinkler-Firmware
OpenSprinkler Unified Firmware for OpenSprinkler, OpenSprinkler Pi, and OpenSprinkler Beagle.
jdchristensen/tutorial
Lean Tutorials
jdchristensen/ultratex
Emacs modes "light" for lightning completion and "ultratex" for editing TeX files