Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
LemonLDAP::NG Web SSO
-
-
-
-
A scalable multi-protocol broker.
-
The Melodic integration project implementing the Melodic control plane.
-
JMLGen tool providing OpenAPI, to be integrated in the Decoder platform
-
The Melodic upperware.
-
Containing tools and installation routines for the Melodic platform.
-
JML annotations generator for existing java projects
-
-
Good Governance Initiative - Castalia
-
Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
-
General public OW2 issue tracker and help desk.
-
