Explore projects
-
PaaSage / la_based_reasoner
Mozilla Public License 2.0Updated -
Prelude / libprelude
GNU General Public License v2.0 or laterUpdated -
Prelude / libpreludedb
GNU General Public License v2.0 or laterUpdated -
Prelude / prelude-lml
GNU General Public License v2.0 or laterUpdated -
Prelude / prelude-manager
GNU General Public License v2.0 or laterUpdated -
Nanocloud / nanocloud
GNU Affero General Public License v3.0Updated -
Assad Montasser / 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 -
-
-
DeviceFarmer / ios-minicap
Apache License 2.0Updated -
Aleksey s-r-grass / Open Sitemap Builder
BSD 3-Clause "New" or "Revised" LicenseИсходный код свободной программы для создания карты сайта. Написана полностью в среде разработки Lazarus.
Официальный сайт: https://xn--90abhbolvbbfgb9aje4m.xn--p1ai/
Updated -
DeviceFarmer / osx_ios_device_trigger
MIT LicenseUpdated -
DeviceFarmer / node-jpeg-turbo
Apache License 2.0Updated -
docdoku / docdoku-plm-openmesh-decimater
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 -
-
This project translates a structured developer's documentation into a json document.
Updated -
imixs / imixs-iot-monitor
GNU General Public License v3.0 or laterUpdated -
Decoder / integration-tests
Apache License 2.0Updated