10

8

6

4

2


4.7
0.0
agda-snippets-hakyll

3.6
0.0
agda-unused

2 agda packages and projects

  • agda-snippets-hakyll

    4.7 0.0 Haskell
    Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.

  • agda-unused

    3.6 0.0 Haskell
    Check for unused code in an Agda project.
Updating dependencies is time-consuming.
sponsored blog.mergify.com
Static code analysis for 29 languages.
sponsored www.sonarqube.org

Add another 'agda' Package