Hudson C. Mitchell-Pullman

about
blog
publications
proofs
repositories (current)
teaching & talks
CV
library

repositories

many of these repositories have since been deprecated.

GitHub users

hudsonmp

hudsonmp

GitHub Repositories

hudsonmp/hudsoncmp

hudsonmp/hudsoncmp

hudsonmp/ucsd-doc-access

hudsonmp/ucsd-doc-access

hudsonmp/req-eng-intervention

hudsonmp/req-eng-intervention

hudsonmp/test-case-requirement-engineering-intervention

hudsonmp/test-case-requirement-engineering-intervention

hudsonmp/hhhh

hudsonmp/hhhh

hudsonmp/its-algebra

hudsonmp/its-algebra

hudsonmp/arxai

hudsonmp/arxai

hudsonmp/syntra67

hudsonmp/syntra67

$hudsonmp/realtime-math$ $hudsonmp/realtime-math$

hudsonmp/turingvault

hudsonmp/turingvault

hudsonmp/bobadrops

hudsonmp/bobadrops

hudsonmp/henryaitraining

hudsonmp/henryaitraining

hudsonmp/prez-challenge

hudsonmp/prez-challenge

hudsonmp/auto-message-email

hudsonmp/auto-message-email

hudsonmp/personal-site

hudsonmp/personal-site

hudsonmp/events

hudsonmp/events

hudsonmp/hallpass

hudsonmp/hallpass

hudsonmp/ti-84-notes

hudsonmp/ti-84-notes

hudsonmp/schoolassess

hudsonmp/schoolassess

hudsonmp/patriotsearch

hudsonmp/patriotsearch

hudsonmp/piazza-sucks-u6

hudsonmp/piazza-sucks-u6

hudsonmp/4-14-25

hudsonmp/4-14-25