agda / agda-language-server

Language Server for Agda

agda
agda
Date Created 2017-08-18 (7 years ago)
Commits 289 (last one 3 months ago)
Stargazers 107 (0 this week)
Watchers 7 (0 this week)
Forks 16
License mit
Ranking

RepositoryStats indexes 632,768 repositories, of these agda/agda-language-server is ranked #293,239 (54th percentile) for total stargazers, and #261,341 for total watchers. Github reports the primary language for this repository as Haskell, for repositories using this language it is ranked #754/1,499.

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

Other Information

agda/agda-language-server has Github issues enabled, there are 8 open issues and 8 closed issues.

There have been 25 releases, the latest one was published on 2024-12-18 (3 months ago) with the name v0.2.7.0.1.5.

Star History

Github stargazers over time

12012010010080806060404020200020192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

9999888888777720232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

96 commits on the default branch (master) since jan '22

10010090908080707060605050404030302020101000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

18018016016014014012012010010080806060404020200020172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
16161414121210108866442200Jul '21Jul '2120222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

The primary language is Haskell but there's also others...

HaskellHaskellAgdaAgda

updated: 2025-03-21 @ 01:33am, id: 100691958 / R_kgDOBgBv9g