Explore projects

This CEP contains libraries to convert CamiTK objects in CepCoreSchema objects.

Update Camitk Extension Project description .ced

Librairie permettant à un programme lancé par Yggdrasil d'avoir accès aux control plane.

Programs that validate Spark streaming computation presence for toy stencyl app.

Simple application de diffusion de chaleur se connectant à une file de message pour lui envoyer le résultat de ses calculs.

Path Analysis for the Generation of Numeric Invariants. Project hosted at VERIMAG for the development of static analysis techniques.

File de messages utilisant ZMQ permettant de dispatcher une entrée en plusieurs sorties en faisant du round robin.

Provides the user with the state machine to execute CamiTK-Action, CamiTK-Component, visualization.

Otawa 2 plugin for exact analysis of lru caches