Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "agda" keyword

agda-language-server 0.2.1
Please see the README on GitHub at https://github.com/agda/agda-language-server#readme
7 versions - Latest release: over 4 years ago - 1 dependent package - 1 dependent repositories - 977 downloads total - 112 stars on GitHub - 2 maintainers
agda2lagda 0.2025.9.5
Simple command line tool to convert plain Agda or Haskell files into literate files. Line commen...
6 versions - Latest release: 6 months ago - 7 dependent repositories - 1.1 thousand downloads total - 14 stars on GitHub - 1 maintainer
agda2train 0.0.3.0
Compiles Agda modules to JSON files, containing information about the imported scope of each modu...
3 versions - Latest release: over 2 years ago - 1 dependent package - 197 downloads total - 5 stars on GitHub - 1 maintainer
cornelis 0.2.0.1
Please see the README on GitHub at https://github.com/isovector/cornelis#readme
2 versions - Latest release: almost 2 years ago - 1 dependent package - 138 downloads total - 168 stars on GitHub - 1 maintainer
Related Keywords
program 4 Propose Tags 4 library 3 development 2 bsd3 2 vim-which-key 1 vim-textobj-user 1 nvim-hs 1 neovim 1 unclassified 1 machine-learning 1 literate-programming 1 latex 1 command-line-tool 1 dependent-types 1 language-server-protocol 1 agda-mode 1 mit 1