GitHub repository: spechub/Hets-IDE
Primary language: TypeScript
Created: 2019-05-08T22:04:59Z
Description: A Hets development environment based on Visual Studio Code.