GitHub repository: pointerless/vdmj-remote
Primary language: Java
Description: VDMJ as a RPC system