banacorn / agda-mode-vscode

RepositoryStats indexes 632,768 repositories, of these banacorn/agda-mode-vscode is ranked #208,779 (67th percentile) for total stargazers, and #186,076 for total watchers. Github reports the primary language for this repository as ReScript, for repositories using this language it is ranked #30/105.

banacorn/agda-mode-vscode is also tagged with popular topics, for these it's ranked: vscode (#485/1225),  vscode-extension (#305/845)

banacorn/agda-mode-vscode has 1 open pull request on Github, 57 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 55 open issues and 98 closed issues.

Homepage URL: https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode