GitHub repository: CertiKProject/deepsea-preview
Primary language: JavaScript
Description: A preview release of the DeepSEA programming language