Explore projects

FIWARE-specific contributions

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

Mirror of https://github.com/usharesoft/hammr.git

This project aims to make it easy to capture a web "session", in order to be complementary for tools that tests network behaviour/load of web apps (like CLIF). It is free/libre software and does not depend on proprietary software.

CSP solver based on Sat4j complying with the XCSP 2.1 and 3.0 formats.

Model-driven REST APIs

A scalable multi-protocol broker.

Hello, CheerpJGNAT! Bridging CheerpJ and JGNAT. Using project files (gpr) with JGNAT. Build scripts and bindings for a quick start.