TRIPOS - Cintpos

Cintpos is an experimental interpretive version of TRIPOS which runs on the Cintcode BCPL virtual machine, also developed by Martin Richards.