-
University of Western Ontario
-
14:52
- 5h behind - https://jdc.math.uwo.ca
- https://orcid.org/0000-0003-2444-3183
- https://mathstodon.xyz/deck/@jdchristensen
Highlights
- Pro
-
-
birdweather_report Public
Forked from Nelluk/birdweather_reportA script to generate an email visualization of recent bird detections from the BirdWeather API
Python UpdatedJan 21, 2025 -
NonAccessible Public
Coq formalization of existence of non-accessible localizations
-
ultratex Public
Forked from jhpalmieri/ultratexEmacs modes "light" for lightning completion and "ultratex" for editing TeX files
Emacs Lisp Other UpdatedAug 1, 2023 -
OpenSprinkler-Firmware Public
Forked from OpenSprinkler/OpenSprinkler-FirmwareOpenSprinkler Unified Firmware for OpenSprinkler, OpenSprinkler Pi, and OpenSprinkler Beagle.
C++ GNU General Public License v3.0 UpdatedJul 18, 2023 -
InteractiveJPDwB Public
Forked from lukewolcott/InteractiveJPDwBinteractive Javaplex demo with TDA barcodes
Processing UpdatedJun 11, 2023 -
JoinChrome Public
Forked from joaomgcd/JoinChromeChrome Extension for Join
JavaScript UpdatedMar 5, 2023 -
coq-tricks Public
Forked from coq-community/coq-tricksTricks you wish the Coq manual told you
Coq UpdatedFeb 23, 2023 -
borg Public
Forked from borgbackup/borgDeduplicating backup program with compression and authenticated encryption.
Python Other UpdatedFeb 12, 2023 -
mailnag Public
Forked from pulb/mailnagAn extensible mail notification daemon
Python GNU General Public License v2.0 UpdatedNov 28, 2021 -
A textbook on informal homotopy type theory
TeX UpdatedFeb 4, 2021 -
lean2 Public
Forked from leanprover/lean2Lean theorem prover version 0.2 (it supports standard and HoTT modes)
C++ Apache License 2.0 UpdatedJan 30, 2019 -
-
content Public
Forked from vpavlenko/contentLessons and problems for introductory Python 3 course
Python UpdatedApr 21, 2017 -
-
tutorial Public
Forked from leanprover/tutorialLean Tutorials
TeX Apache License 2.0 UpdatedAug 6, 2015 -
numba Public
Forked from numba/numbaNumPy aware dynamic Python compiler using LLVM
Python BSD 2-Clause "Simplified" License UpdatedJan 24, 2013