
hacking, climbing, proving theorems
I work in Machine Learning and Data Science, and have interests in higher category theory, type theory, logic, functional programming, and getting things done
- Boulder CO
-
09:17
(UTC -07:00) - in/jeremiq
Popular repositories Loading
-
-
khan-exercises
khan-exercises PublicForked from Khan/khan-exercises
A framework for building exercises to work with Khan Academy.
JavaScript 1
-
Specs
Specs PublicForked from CocoaPods/Specs
A repository of CocoaPods (cocoapods.org) specifications.
Ruby
-
Projects
Projects PublicForked from karan/Projects
Trying to complete over 100 projects in various categories in Python. Fork to learn any new language.
Python
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.