Explore projects
-
This project translates a structured developer's documentation into a json document.
Updated -
-
Prelude / prelude-manager
GNU General Public License v2.0 or laterUpdated -
Prelude / prelude-lml
GNU General Public License v2.0 or laterUpdated -
Prelude / libpreludedb
GNU General Public License v2.0 or laterUpdated -
Prelude / libprelude
GNU General Public License v2.0 or laterUpdated -
Lukas Kaufmann / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
PaaSage / la_based_reasoner
Mozilla Public License 2.0Updated -
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 -
Matteo Basso / DiSL
Apache License 2.0DiSL is an AOP-inspired domain-specific language for Java bytecode instrumentation.
Updated -
-
-
OCS Inventory / Agent-Deployment-Tool
GNU General Public License v3.0 onlyUpdated -
OCS Inventory / WindowsAgent
GNU General Public License v2.0 or laterUpdated -
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 -
-
docdoku / docdoku-plm-openmesh-decimater
GNU Affero General Public License v3.0Updated