Explore projects
-
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)
Updated -
Scripts to automatically process GNSS data from http://data.permasense.ch using RTKLIB: An Open Source Program Package for GNSS Positioning.
Updated -
A tool performing AC-completion for left-linear TRSs written in Haskell.
Updated -
Lukas Walter / cv_report
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
ROS scripts for collecting demonstrations with the Franka Emika Panda
Updated -
Updated
-
Ubuntu 20.04 Build-Environment for Jetson Nano 2GB. We also provide CUDA enabled OpenCV 4.5.5 Debian Packages and Tensorflow
Updated -
Updated
-
User expired / KG Shapes Frontend
MIT LicenseCurrent topics WS2021 group project Backend can be found here: https://git.uibk.ac.at/csaz8448/kg-shapes
Updated -
Updated
-