GitHub repository: runtimeverification/rv-install
Primary language: Java
Description: Unified installer for all Runtime Verification Inc. products