Data-Intensive Application project

Course material for a ~12 hours introductionary course to Julia. Topics: Introduction, Data Science, Parallel Programming

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.