Linr: a parallel computation server for interaction-net reductions.
Laby: a tool to teach programming.