Explore projects
-
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Outil de suivi des Contrats / Outil de suivi des Budgets : Application Ruby On Rails permettant le Suivi des Contrats et des budgets correspondant dans le contexte d'une entité de recherche (EPST, Laboratoire, Université, etc.).
Updated -
-
-
-
A regular verification framework based on Tree Automata and Term Rewriting Systems.
Updated -
Puppet NTP Module. Originally designed by PuppetLabs. https://github.com/puppetlabs/puppetlabs-ntp
Updated -
Updated
-
Updated
-
-
-
Updated
-
-
Updated