Explore projects
-
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Updated
-
CHOReVOLUTION / syncope
Apache License 2.0Updated -
Updated
-
PaaSage / social_network
feh LicenseUpdated -
Jan Elffers / sat4j
Eclipse Public License 1.0Updated -
gitlab-mirrors / fusiondirectory
Affero General Public License v1.0Updated -
-
fabio martelli / syncope
Apache License 2.0Updated -
weblab / portlets / document-viewer
GNU Lesser General Public License v2.1 onlyThis project holds both the portlet document viewer, to be deployed in the WebLab Liferay Portal and the structured-document-renderer, a library used inside this portlet
Updated -
weblab / portlets / weblab-metaview
GNU Lesser General Public License v2.1 onlyThis project contains a Maven based Java project of a Liferay portlet in charge of displaying the metadata of documents.
Updated -
-
Updated
-
-
A Liferay theme to be used in the Liferay used by the WebLab Bundle
Updated