mattrobball
I am a mathematician who sometimes fantasizes about being a physicist and/or computer scientist, depending on the day.
University of South CarolinaColumbia, South Carolina, USA
Pinned Repositories
2022_07_07-birs
A double feature talk on derived categories.
2022_11_04-auburn
Colloquium on generation via Frobenius
al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
bb_shuffler
lean-autograding
Setup for autograding of Lean homework using GitHub Classroom
mattrobball's Repositories
mattrobball/lean-autograding
Setup for autograding of Lean homework using GitHub Classroom
mattrobball/2022_07_07-birs
A double feature talk on derived categories.
mattrobball/2022_11_04-auburn
Colloquium on generation via Frobenius
mattrobball/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
mattrobball/bb_shuffler
mattrobball/bibassemble
Simple python script to take a MathScinet generated bib file, add in arXiv identifiers and abstracts and split each bib entry into a md file with yaml header for use in Hugo.
mattrobball/comp_fleming
mattrobball/course_website
Jekyll template for course webpages
mattrobball/hugo_research_group
A research group webpage built in Hugo
mattrobball/latex_code-server
mattrobball/gb
mattrobball/latex_template
mattrobball/lean.nvim
neovim support for the Lean theorem prover
mattrobball/lean4
Lean 4 programming language and theorem prover
mattrobball/lean4-alloy
Write C shims from within Lean code.
mattrobball/mdbook-extension
An extension to mimic some mathy Latex typesetting features
mattrobball/nvim
mattrobball/pdfviewer
Basic CLI app for serving a local pdf on localhost
mattrobball/server
A simple CRUD server for use with a recurring seminar.
mattrobball/socket.lean
sockets for Lean 4
mattrobball/std4
Standard Library for Lean 4