Jendrik Stelzner's repositories
foundations-in-representation-theory-notes-ws-18-19
Notes for the lecture course “Foundations in Representation Theory”.
writing-latex
Some do’s and don’ts when writing mathematics using LaTeX.
solutions-basic-category-theory-leinster
Personal solutions to the exercises in Tom Leinster’s “Basic Category Theory”.
solutions-topology-a-categorical-approach-bbt
Personal solutions to “Topology: A Categorical Approach” by Bradley, Bryson and Terilla.
Lecture-Notes-Template
A template for lecture notes in LaTeX. Based on the class scrbook and the font Libertinus.
svgornaments
SVG version of pgfornaments.
human-resource-machine-solutions
My personal solutions for the game “Human Resource Machine”.
bibliography
A (hopefully growing) collection of bibliography entries.
cs3110-textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
gitinfo2
CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents
leetcode-solutions
Personal solutions to LeetCode problems
libertinus
The Libertinus font family
natural-number-game-solutions
My personal solutions to the “natural number game”.
ocaml.org
The official OCaml website.
solutions-category-theory-in-context-riehl
Personal solutions to the exercises in Emily Riehl’s “Category Theory in Context”.
solutions-itfpatsopluo
Solutions to “Introduction to Functional Programming and the Structure of Programming Languages using OCaml”
solutions-more-ocaml
Solutions to “More OCaml”
solutions-ocaml-from-the-very-beginning
My personal solutions to "OCaml from the Very Beginning"
solutions-topology-and-geometry-bredon
Personal solutions to “Topology and Geometry”
solutions-turing-complete
My personal solutions to the computer game “Turing Complete”.
textbook-solutions
Solutions to OCaml Programming
tree-sitter-latex
LaTeX grammar for tree-sitter
university
My university notes and files
vimtex
VimTeX: A modern Vim and neovim filetype plugin for LaTeX files.