GitHub repository: kind2-mc/kind2-java-api
Primary language: Java
Description: An API for constructing Lustre programs, running Kind 2, and showing results/suggestions.