Explore projects
-
-
LDAP Tool Box / service-desk
GNU General Public License v3.0 or laterUpdatedUpdated -
Decoder / semparsing_tool
BSD 2-Clause "Simplified" LicenseThe Decoder WP2 SemanticParsing tool.
Updated -
-
-
weblab / portlets / search-portlet
GNU Lesser General Public License v2.1 onlyUpdated -
cryptpad / sdkjs
GNU Affero General Public License v3.0Updated -
-
Antoine Mottier / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Lukas Kaufmann / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Assad Montasser / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Jan Elffers / sat4j
Eclipse Public License 1.0Updated -
Jonas Bollgrün / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Romain WALLON / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
SAT4J / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
SeedStack / samples
Mozilla Public License 2.0Updated -
reachout / rpc-wrapper-fusiondirectory
GNU General Public License v3.0 or laterXwiki component to access Fusion Directory
Updated -
RocketChat / rocketchat_nextcloud
MIT LicenseUpdated -