GitHub repository: uwu-tech/Kind
Primary language: JavaScript
Description: A modern proof language