Explore projects
-
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 -
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 / Rocket.Chat.Ops
MIT LicenseUpdated -
RocketChat / Rocket.Chat.Livechat
MIT LicenseUpdated -
RocketChat / Rocket.Chat.Flutter.SDK
MIT LicenseUpdated -
RocketChat / Rocket.Chat.Electron
MIT LicenseUpdated -
-
RocketChat / Rocket.Chat.Artwork
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated