Popularity
4.7
Growing
Activity
3.6
Declining
15
1
0
Monthly Downloads: 37
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.
-
decidable
Combinators for manipulating dependently-typed predicates. -
lens-typelevel
Type-level lenses using singletons because why not -
agda-snippets-hakyll
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched. -
instance-map
Haskell dependent types the ugly and brute force way -
list-witnesses
Inductive dependently-typed witnesses for working with type-level lists.
Build time-series-based applications quickly and at scale.
InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
Promo
www.influxdata.com
Do you think we are missing an alternative of agda2lagda or a related project?