anthony-darienzo
I'm a PhD student in mathematic at UIUC. I currently research categorical logic. I have also worked on heat-diffusion models for social networks.
anthony-darienzo's Stars
mvr/at
Effective Algebraic Topology in Haskell
dhanishgajjar/terminal-icons
Beautiful icons for your favourite terminal apps like Hyper and iTerm2
hhalvors/theories
holzschu/a-shell
A terminal for iOS, with multiple windows
bakpakin/binser
Customizable Lua Serializer
EmmyLua/VSCode-EmmyLua
Lua IDE/Debugger Plugin for VSCode
Safari-FIDO-U2F/Safari-FIDO-U2F
FIDO U2F support for Safari.
chrisfarber/computercraft-apis