Manage IBR coffee costs and fair machine cleaning

Square-in-circle interval arithmetic proofs.

Interval Arithmetic Prover Framework.

Dockerfiles for the tubslatex suite.

Basic structure of tex files to write a proposal and thesis.

IBR directory access tool

Python Utils for the SoCG 2020 CGSHOP Competition. It provides simple reading/writing tools for instances and solutions as well as checker. This library is also used internally by us in the server.

SGX highlighting for VSCode

VSCode Theme

Basic structure of tex files to write a proposal and thesis.

A WordPress plugin to render home brew recipes from Kleiner Brauhelfer, Brewfather and BeerSmith3

An XML-based approach to create WordPress posts for all BJCP styles

Test #1 -- some junk for testing gitlab stuff.