Explore projects

LaTeX project template for our students writing their BA/MA/DA theses

development version of erdal's repos. stripped down.

Artefact source code for "Relational Reference Attribute Grammars: Improving Continuous Model Validation" (https://zenodo.org/record/3666664)

Fork of https://github.com/openhab/openhab-android

A workspace to automatically deploy a panda simulation.

Transforms DiNeROS Petri Nets to P/T-Nets

A workspace to automatically deploy a panda simulation.

Scripts to compile a patched x86_64 realtime kernel for Ubuntu 20.04 (Focal Fossa) and 18.04 (Bionic Beaver). Debian packages available as CI artifacts. This kernel is required to control a Panda robot.

Fork of the official "rosjava_catkin_package_a" tutorial.

A workspace to automatically deploy a panda simulation.

Scripts to compile a patched x86_64 realtime kernel for Ubuntu 18.04 (Bionic Beaver). Debian packages available as CI artifacts. This kernel is required to control a Panda robot.

Quality-based Software-Selection and Hardware-Mapping as Model Transformation Problem

LaTeX project template for our students writing their BA/MA/DA theses

Backup the notes that you have in your CodiMD history to a local folder

A workspace to automatically deploy a panda simulation.