2 agda packages and projects
-
agda-snippets-hakyll
4.4 0.0 HaskellLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
10
8
6
4
2
InfluxDB - Power Real-Time Data Analytics at Scale
sponsored
www.influxdata.com
|
WorkOS - The modern identity platform for B2B SaaS
sponsored
workos.com
|
Do not miss the trending, packages, news and articles with our weekly report.