Explore projects

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

HTML5 page for https://www.lemonldap-ng.org/

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

origin: https://github.com/imixs/imixs-bpmn-emfcloud.git

origin: https://github.com/imixs/imixs-bpmn.glsp.git

origin: https://github.com/imixs/open-bpmn.git

origin: https://github.com/cryptpad/cryptpad

origin: https://github.com/cryptpad/documentation

origin: https://github.com/centreon/centreon-documentation.git

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

origin: https://github.com/ow2-proactive/documentation.git

origin: https://github.com/bonitasoft/bonita-project-maven-plugin.git

origin: https://github.com/lutece-platform/lutece-core.git

origin: https://github.com/lutece-platform/lutece-cms-plugin-quicklinks.git

origin: https://github.com/lutece-platform/lutece-cms-plugin-blog.git

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

origin: https://github.com/bonitasoft/bonita-portal-js.git

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

origin: https://github.com/bonitasoft/bonita-ui-designer-artifact-builder.git

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