This library is a collection of data structures for representing and APIs for manipulating Multiparty Session Types (MPST) for programming. A C API is provided for FFI interoperation with other programming languages.

Developed for Imperial College London, see http://mrg.doc.ic.ac.uk/ for details about Session Types research.