Jason Gross's starred repositories
youtube-dl
Command-line program to download videos from YouTube.com and other video sites
github-trends
🚀 Level up your GitHub profile readme with customizable cards including LOC statistics!
company-coq
A Coq IDE build on top of Proof General's Coq mode
PUMPKIN-PATCH
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
NuprlInCoq
Implementation of Nuprl's type theory in Coq
Foundations
Development of the univalent foundations of mathematics in Coq
setoid_rewrite_debug
a python script to help debug setoid_rewrite failures in coq
categoricaldata
fork of http://code.categoricaldata.net/categoricaldata/
time-worked
A few python scripts for logging how much time I've worked on some project.