zjhmale / vscode-idris

RepositoryStats indexes 599,932 repositories, of these swr1bm86/vscode-idris is ranked #284,500 (53rd percentile) for total stargazers, and #429,405 for total watchers. Github reports the primary language for this repository as JavaScript, for repositories using this language it is ranked #33,902/66,232.

swr1bm86/vscode-idris is also tagged with popular topics, for these it's ranked: vscode-extension (#390/802)

swr1bm86/vscode-idris has 7 open pull requests on Github, 17 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 20 open issues and 91 closed issues.

There have been 20 releases, the latest one was published on 2017-05-29 (7 years ago) with the name v0.9.8.

Homepage URL: https://marketplace.visualstudio.com/items?itemName=zjhmale.Idris