Popularity
4.2
Growing
Activity
0.0
Stable
8
2
1
Monthly Downloads: 7
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Tags:
Dependent Types
Agda
agda-snippets-hakyll alternatives and similar packages
Based on the "agda" category.
Alternatively, view agda-snippets alternatives based on common mentions on social networks and blogs.
Do you think we are missing an alternative of agda-snippets-hakyll or a related project?
|
Static code analysis for 29 languages.
sponsored
www.sonarqube.org
|
|
Access the most powerful time series database as a service
sponsored
www.influxdata.com
|