Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "agda" keyword
agda2train 0.0.3.0
Compiles Agda modules to JSON files, containing information about the imported scope of each modu...3 versions - Latest release: 7 months ago - 1 dependent package - 42 downloads total - 2 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#readme7 versions - Latest release: over 2 years ago - 1 dependent package - 1 dependent repositories - 577 downloads total - 95 stars on GitHub - 2 maintainers
cornelis 0.2.0.0 💰
Please see the README on GitHub at https://github.com/isovector/cornelis#readme1 version - Latest release: 24 days ago - 16 downloads total - 127 stars on GitHub - 1 maintainer
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: 11 months ago - 7 dependent repositories - 674 downloads total - 13 stars on GitHub - 1 maintainer