Explore projects

Code for the automation of the VNN-COMP, used in 2022

This repository provides the source code to the MetadataExtractor project and help for setting it up.

Dockerizing the Knowledge Extraction Suite Pikes: https://github.com/dkmfbk/pikes

ORCA exercises for the QC2 module at TU Darmstadt

This is a fork of the repository: https://github.com/trellis-ldp/trellis with a fixed Coscine prefix.

The plotID toolkit supports researchers in tracking and storing relevant data in plots. Plots are labelled with an ID and the corresponding data is stored.