Repository containing the code of an event-based infrastructure for the Internet of Things