Popularity
5.0
Growing
Activity
1.8
-
14
2
0
Monthly Downloads: 15
Programming language: Haskell
License: The Unlicense
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 – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
Promo
www.influxdata.com

Do you think we are missing an alternative of agda2lagda or a related project?