Popularity
4.9
Growing
Activity
4.5
-
13
3
0
Monthly Downloads: 26
Programming language: Haskell
License: LicenseRef-PublicDomain
Tags:
Development
Dependent Types
agda2lagda alternatives and similar packages
Based on the "Dependent Types" category.
Alternatively, view agda2lagda alternatives based on common mentions on social networks and blogs.
-
agda-snippets-hakyll
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
Promo
www.influxdata.com
Do you think we are missing an alternative of agda2lagda or a related project?