'''KRoC''' is a suite of software for occam-π development.