Explore projects
-
GLPI / php-library-glpi
GNU General Public License v3.0 onlyUpdated -
Lukas Kaufmann / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
SAT4J / xcsp
Eclipse Public License 1.0CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.
Updated -
-
OCS Inventory / OCSInventory-Docker-Stack
GNU General Public License v3.0 onlyUpdated -
Archived 0Updated
-
GLPI / node-module-glpi
GNU General Public License v3.0 onlyUpdated -
GLPI / swift-library-glpi
Apache License 2.0Updated -
DeviceFarmer / docker-aosp
Apache License 2.0Updated -
DeviceFarmer / RotationWatcher.apk
Apache License 2.0Updated -
-
RocketChat / Rocket.Chat.RaspberryPi
MIT LicenseUpdated -
DeviceFarmer / minirev
Apache License 2.0Updated -
-
GLPI / java-library-glpi
GNU General Public License v3.0 onlyUpdated -
docdoku / docdoku-plm-openmesh-decimater
GNU Affero General Public License v3.0Updated -
docdoku / docdoku-plm-cli
GNU Affero General Public License v3.0Updated -
Jonas Bollgrün / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
Updated
-
Decoder / concode
MIT LicenseUpdated