MQ-CPH (the IBM MQ C Performance Harness) is a performance test tool for IBM® MQ. The source can be found on the ibm-messaging GitHub. Before running make, make sure the MQ header files are available.
This repository contains the new F* development a port of the stable F# development to F* 0.9.