I am a PhD student in the School of Mathematics, at the University of Bristol, UK. My research focuses on homological algebra and representation theory. I also have experience in data science, and am interested in a wide range of maths and computing.
Pinned Loading
-
jw-allen/sbstrips
jw-allen/sbstrips PublicGAP implementation of string graphs/modules for SB algebras
-
-
nvim-telescope/telescope.nvim
nvim-telescope/telescope.nvim PublicFind, Filter, Preview, Pick. All lua, all the time.
-
leanprover-community/mathlib3
leanprover-community/mathlib3 Public archiveLean 3's obsolete mathematical components library: please use mathlib4
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.