Explore projects

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

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

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

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

Update Camitk Extension Project description .ced

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