psu13

Pinned Repositories

z2kplus
Repository for the Z2K Plus+ code base
Language:C++3 0 340
arxiv-psu
My silly archive of research paper source code
Language:TeX21
hott-book
A textbook on informal homotopy type theory
Language:TeX00
kvdpsu
kvdpsu
Language:HTML24
mutable-hakyll
mutable states but in hakyll
Language:Haskell00
vscode-theme-onelight
VSCode Theme based on Atom's One Light theme
00

psu13's Repositories

psu13/arxiv-psu
My silly archive of research paper source code
Language:TeX21
psu13/kvdpsu
kvdpsu
Language:HTML24
psu13/hott-book
A textbook on informal homotopy type theory
Language:TeX00
psu13/mutable-hakyll
mutable states but in hakyll
Language:Haskell00
psu13/vscode-theme-onelight
VSCode Theme based on Atom's One Light theme
00