banacorn/agda-mode-vscode

Momentum

banacorn/agda-mode-vscode has 190 GitHub stars. It gained 0 stars over 2 recorded days in the last 7 days and +2 over 10 recorded days in the last 30 days (snapshots through Nov 11, 2026).

Its biggest recent day was Oct 13, 2026, with +1 stars.

It currently ranks #6125 daily, #6578 weekly, #9672 monthly by momentum on Trending Repos; its best-ever rank is #5324.

Trending Repos first recorded it on May 26, 2026.