I’m still working on KIND, however, I am now developing a Java based GUI that acts as a wrapper for the existing OCaml based tool. This GUI will be a persistent wrapper that allows the user to avoid interacting with the command line interface, as KIND executes. As I progress through development I’ll post screenshots of the GUI and compare it to its command line counterpart.

At the moment I’m researching the best way to integrate a Java GUI and an OCaml project. I’m debating between using a tool that converts OCaml source to Java source or serializing data and transmitting it between two processes.

This semester my job amounts to making all interactions with KIND easier and more convenient. Hence all of the GUI development!