Explore projects
-
LDAP Tool Box / self-service-password
GNU General Public License v3.0 onlyUpdated -
-
Updated
-
ProActive / scheduling
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 -
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 -
DeviceFarmer / RotationWatcher.apk
Apache License 2.0Updated -
-
RocketChat / rocketchat-server-snap
MIT LicenseUpdated -
-
-
RocketChat / Rocket.Chat.RaspberryPi
MIT LicenseUpdated -
RocketChat / Rocket.Chat.Ops
MIT LicenseUpdated -