agda / agda-language-server

RepositoryStats indexes 585,880 repositories, of these agda/agda-language-server is ranked #287,207 (51st percentile) for total stargazers, and #244,999 for total watchers. Github reports the primary language for this repository as Haskell, for repositories using this language it is ranked #767/1,443.

agda/agda-language-server is also tagged with popular topics, for these it's ranked: language-server-protocol (#104/152)

agda/agda-language-server has 1 open pull request on Github, 12 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 7 open issues and 7 closed issues.

There have been 19 releases, the latest one was published on 2023-12-14 (11 months ago) with the name v0.2.6.4.0.3.