Explore projects

Program slicing for C code using Frama-C

Implementations for the Tasks given in Evolutionary Robotics WS16/17. Lecturer was Jun. Prof. Heiko Hamann

LaTeX template for IEEE educon conference

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

The One Simulator