Explore projects

Puppet+r10k+Git control repo

Puppet NTP Module. Originally designed by PuppetLabs. https://github.com/puppetlabs/puppetlabs-ntp

Puppet stdlib module. Originally designed by Puppetlabs. https://github.com/puppetlabs/puppetlabs-stdlib

Experimental developments for Corese.

A regular verification framework based on Tree Automata and Term Rewriting Systems.

Swarm Protocol And Navigation Kontrol

Public repository hosting the simulator for the Similitude paper, imported from github on 2018-06-11: https://github.com/plroman/similitude_experiments

Quickly deploy a monitored Kubernetes cluster on Grid'5000