Pinned Repositories
ALifePhilComp
collab-notes-template
higher-bundle-theory
higher bundles...
HoTT-Intro
An introductory course to Homotopy Type Theory
MSRI_P-adic_Limits
pierogi
This is where the Reed ACM website lives.
rjunior911-3.github.io
(in-progress) personal webpage of Robert "Joseph" Rennie
rjunior911.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
setup_files
spatial-covers
rjunior911's Repositories
rjunior911/ALifePhilComp
rjunior911/collab-notes-template
rjunior911/higher-bundle-theory
higher bundles...
rjunior911/HoTT-Intro
An introductory course to Homotopy Type Theory
rjunior911/MSRI_P-adic_Limits
rjunior911/pierogi
This is where the Reed ACM website lives.
rjunior911/rjunior911-3.github.io
(in-progress) personal webpage of Robert "Joseph" Rennie
rjunior911/rjunior911.github.io
A beautiful, simple, clean, and responsive Jekyll theme for academics
rjunior911/setup_files
rjunior911/spatial-covers
rjunior911/StoryCollabGameMSRIUP
rjunior911/tex-templates