agda/agda-language-server

Language Server for Agda

GitHub repository with 130 stars and 22 forks.

Language: Haskell

Topics: agda, agda-mode, language-server-protocol

Open provider repository

24h trend summary

Trending score 0.09, freshness score 0.76, stars gained +0, forks gained +0.

Latest metric snapshot

2026-11-15: 130 stars and 22 forks.

Trending in Haskell

  1. 1. jgm/pandoc-types

    types for representing structured documents

    GitHub repository with 123 stars and 68 forks.

    Trending score: 0.00; stars gained: +0; forks gained: +0.

    Language: Haskell