Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Updated
-
-
-
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.
-