Projects on Justus' Homepage

Mathlib contributor

Mon, 01 Jan 0001 00:00:00 +0000

In 2021, I started contributing to Lean’s official mathematics library as a hobby. After completing my PhD in 2025, I am now again a regular contributor.

Rational polygons database

Mon, 01 Jan 0001 00:00:00 +0000

A searchable online database of almost 500 million rational polygons, collected from the classifications by Martin Bohnert and me and from the literature. You can search by invariants, identify a given polygon, or query it programmatically.

RationalPolygons.jl

Mon, 01 Jan 0001 00:00:00 +0000

During my PhD, I needed a way to do computations with large amounts of rational polygons. Unsatisfied with the existing solutions, I created RationalPolygons.jl: A pure Julia package optimized precisely for this purpose. Check out its documentation on Github and see also my joint articles with Martin Bohnert.

CStarSurfaces.jl

Mon, 01 Jan 0001 00:00:00 +0000

I developed this Julia package during my PhD to perform classifications of ℂ﹡-surfaces. It was redesigned multiple times, the latest iteration is documented in the appendix of my PhD thesis.

LDP database

Mon, 01 Jan 0001 00:00:00 +0000

I made this online search interface to showcase various classifications of log del Pezzo surfaces with torus action. It is kindly hosted by the University of Tübingen.