Beast code in Giters

Dan Christensen's repositories

Coq formalization of existence of non-accessible localizations

Language:Coq2 10

Deduplicating backup program

Language:PythonNOASSERTION010

A textbook on informal homotopy type theory

Language:TeX000

Deduplicating backup program with compression and authenticated encryption.

Language:PythonNOASSERTION010

Lessons and problems for introductory Python 3 course

Language:Python010

Tricks you wish the Coq manual told you

Language:Coq000

Homotopy type theory

Language:CoqNOASSERTION030

Language:LeanApache-2.0010

interactive Javaplex demo with TDA barcodes

Language:Processing000

Chrome Extension for Join

Language:JavaScript000

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

Language:C++Apache-2.0010

An extensible mail notification daemon

Language:PythonGPL-2.0000

NumPy aware dynamic Python compiler using LLVM

Language:PythonBSD-2-Clause000

OpenSprinkler Unified Firmware for OpenSprinkler, OpenSprinkler Pi, and OpenSprinkler Beagle.

Language:C++GPL-3.0000

Lean Tutorials

Language:TeXApache-2.0010

Emacs modes "light" for lightning completion and "ultratex" for editing TeX files

Language:Emacs LispNOASSERTION000