▹ EVBT a tool for formal methods using Event-B
▹ SQLComp a tool for comparing/syncing databases
▹ WMBUSMETERS a tool for decoding wmbus meters
▹ XMQ a tool for working with html/xml/json