GitHub repository: kind2-mc/kind2-webclient
Primary language: JavaScript
Description: Source code for the NEW web client