GitLab

This is a code base accompanying the master thesis with the title 'On orthogonality of Self-Distributivity' by R. Schikora.

PermaSense GPS Logger Readout Tool

Code for management and processing of PermaSense data for the ESSD paper: A decade of detailed observations (2008–2018) in steep bedrock permafrost at the Matterhorn Hörnligrat (Zermatt, CH)

Scripts to automatically process GNSS data from http://data.permasense.ch using RTKLIB: An Open Source Program Package for GNSS Positioning.

A tool performing AC-completion for left-linear TRSs written in Haskell.

Projekt für das Proseminar Machine Learning von Fabian und Robert.