Discover projects, groups and snippets. Share your projects with others
SAT4J is a library aiming at providing a simple and efficient open source library of SAT solvers in Java.
CHOReVOLUTION elevates the Readiness Level of existing choreography technologies in order to drop the dynamism and cross-organization security barriers via the automated synthesis of dynamic and secured choreographies in the Future Internet.
Spago4Q is a platform for the assessment of the maturity and effectiveness of software development processes as well as for the quality inspection of the released software.
LemonLDAP::NG is a free single sign-on, access management and identity federation software
An authorization server for Web Services that supports XACML, X.509, SAML and LDAP.
PaaSage is an open source integrated platform to support both design and deployment of Cloud applications.
STAMP - Software Testing AMPlification