Discover projects, groups and snippets. Share your projects with others
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