Explore projects

Bootstrap repo for setting up new dev machines.

Master Thesis at the KIT

Implementation of Lennart Henslers master thesis about synergies between stream processing and incremental model analysis.