Extension for ZeroMQ that provides authenticated connections between nodes.

ZeroMQ Adapter for GraphStream and the NetStreamProtocol.

This allows you to visualize your ZeroMQ-backed topologies

Program slicing for C code using Frama-C

Validator for menu data of the Studentenwerk. Flags stuff like "vegan stuff contains allergen milk".

The One Simulator

Validator for menu data of the Studentenwerk. Flags stuff like "vegan stuff contains allergen milk".

Master Arbeit Wilhelm Kirchgässner 2016

Oracle Java 8 for running Gitlab CI

This is proposed login page for HiPCMS

OpenCL Wrapper library for PADrend

Bringing node and typescript together on a small MEVN project