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

View the packages on the hackage.haskell.org package registry that are tagged with the "agda" keyword.

agda2lagda 0.2023.6.9
Simple command line tool to convert plain Agda or Haskell files into literate files. Line commen...
5 versions - Latest release: about 2 years ago - 7 dependent repositories - 930 downloads total - 14 stars on GitHub - 1 maintainer
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: almost 4 years ago - 1 dependent package - 1 dependent repositories - 873 downloads total - 112 stars on GitHub - 2 maintainers
cornelis 0.2.0.1
Please see the README on GitHub at https://github.com/isovector/cornelis#readme
2 versions - Latest release: about 1 year ago - 1 dependent package - 102 downloads total - 158 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: almost 2 years ago - 1 dependent package - 152 downloads total - 4 stars on GitHub - 1 maintainer
Related Keywords
program 4 Propose Tags 4 library 3 development 2 bsd3 2 machine-learning 1 vim-which-key 1 vim-textobj-user 1 nvim-hs 1 neovim 1 unclassified 1 language-server-protocol 1 agda-mode 1 mit 1 literate-programming 1 latex 1 command-line-tool 1 dependent-types 1