Explore projects

origin: https://github.com/DeviceFarmer/minicap.git

origin: https://github.com/DeviceFarmer/ios-minicap.git

origin: https://github.com/OCSInventory-NG/WindowsAgent.git

origin: https://github.com/OCSInventory-NG/Agent-Deployment-Tool.git

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

A scalable multi-protocol broker.

The Melodic upperware.

A scalable multi-protocol broker.

This project translates a structured developer's documentation into a json document.

DiSL is an AOP-inspired domain-specific language for Java bytecode instrumentation.

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

Boolean satisfaction and optimization engines to solve SAT, Pseudo-Boolean and MAXSAT problems.

origin: https://github.com/Nanocloud/nanocloud.git

origin: https://www.prelude-siem.org/git/prelude-manager.git

origin: https://www.prelude-siem.org/git/prelude-lml.git

origin: https://www.prelude-siem.org/git/libpreludedb.git

origin: https://www.prelude-siem.org/git/libprelude.git

A scalable multi-protocol broker.