JAConfig implements an eventually consistent distributed key/value database for managing a JASocket cluster. Also included are Quarum for tracking when a quorum of hosts is present, Ranker for determining which nodes are least loaded, ClusterManager for starting up other servers, and Kingmaker, which decides which node is to run ClusterManager. JAConfig is lock-free, actor-based, and has no single point of failure.
MuLaNEO implements algorithms to design and provision resilient multi-layer networks, or hierarchies of technologies (IP/MPLS, Carrier Ethernet, SDH/SONET, etc.). It includes modelling of these technologies, visualizes their interrelations, and allows the dynamic provisioning of the resulting networks on the basis of path computation elements (PCE).