Explore projects
-
RocketChat / statuscentral
MIT LicenseUpdated -
Václav Haisman / sat4j
Eclipse Public License 1.0Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.
Updated -
-
-
This project contains the sources of the OW2 ASM library home page.
Updated -
design-first / system-designer
Apache License 2.0Updated -
design-first / system-designer.git
Apache License 2.0Updated -
-
-
-
-
-
cryptpad / office-converters
GNU Affero General Public License v3.0Updated -
-
Updated