essmann.xyz

Projects

Welcome to my website! Here you can find links to my social media as well as a short run down of some projects I’ve been working on over the years:

Verified Approximation Algorithms – Load Balancing, Bin Packing, and Set Cover in Isabelle/HOL (2019-2021).
Compiling Linux From Scratch on an ASUS Eee PC 1015PN (2021).
hexiscript – A dynamically typed scripting language written in OCaml (2019).
Fun fact: This website is now being generated by hexiscript! (2026)
GKey – A German keyboard layout for TempleOS (2017).
TempleOS Games: Minesweeper and TicTacToe (2017).
Interdisciplinary Project: Using NER to identify firm-city links from firms’ annual reports (2021-2022)

Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani. Verified Approximation Algorithms. Logical Methods in Computer Science, March 1, 2022, Volume 18, Issue 1. https://doi.org/10.46298/lmcs-18(1:36)2022
Robin Eßmann, Tobias Nipkow, Simon Robillard. Verified Approximation Algorithms. In Automated Reasoning (IJCAR 2020), LNCS, 2020. https://doi.org/10.1007/978-3-030

Atkinson Hyperlegible is a font designed by the Braille Institute to be readable for the visually impaired. Learn more about it here: