GitLab

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

The Melodic integration project implementing the Melodic control plane.

The Melodic upperware.

Containing tools and installation routines for the Melodic platform.

LemonLDAP::NG Web SSO

JMLGen tool providing OpenAPI, to be integrated in the Decoder platform

origin: https://github.com/INRIA/spoon.git

origin: https://github.com/glpi-project/glpi.git

origin: https://github.com/RocketChat/docs.git

origin: https://github.com/RocketChat/Rocket.Chat.git

origin: https://github.com/bonitasoft/bonita-web-extensions.git

origin: https://github.com/bonitasoft/bonita-studio.git

origin: https://github.com/bonitasoft/bonita-doc.git

origin: https://github.com/bonitasoft/bonita-java-client.git

origin: https://github.com/nuun-io/kernel-listener.git

origin: https://github.com/nuun-io/kernel.git

origin: https://github.com/RocketChat/Rocket.Chat.Electron.git

origin: https://github.com/RocketChat/slack-compatibility-for-apps.git