Popular repositories Loading

1. lean-autograding lean-autograding Public template

   Setup for autograding of Lean homework using GitHub Classroom

   Lean 8 1

2. latex_code-server latex_code-server Public archive

   TypeScript

3. hugo_research_group hugo_research_group Public

   A research group webpage built in Hugo

   HTML

4. server server Public

   A simple CRUD server for use with a recurring seminar.

   Go

5. bibassemble bibassemble Public

   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.

   Python

6. al-folio al-folio Public

   Forked from alshedivat/al-folio

   A beautiful, simple, clean, and responsive Jekyll theme for academics

   JavaScript