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

Kroc is an implementation of Occam. Other implementations of Occam.

External links