Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/zjhmale/vscode-idris

idris vscode-extension

Last synced: about 1 month ago
JSON representation

Idris for Visual Studio Code

Host: GitHub
URL: https://github.com/zjhmale/vscode-idris
Owner: zjhmale
License: bsd-3-clause
Created: 2016-09-02T02:30:40.000Z (over 8 years ago)
Default Branch: master
Last Pushed: 2022-05-13T05:50:53.000Z (over 2 years ago)
Last Synced: 2024-08-05T10:20:43.034Z (5 months ago)
Topics: idris, vscode-extension
Language: JavaScript
Homepage: https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris
Size: 111 MB
Stars: 106
Watchers: 3
Forks: 21
Open Issues: 27
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE