Popularity
4.7
Growing
Activity
0.0
Stable
8
3
1
Monthly Downloads: 3
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
agda-snippets alternatives and similar packages
Based on the "Dependent Types" category.
Alternatively, view agda-snippets alternatives based on common mentions on social networks and blogs.
-
Agda
Agda is a dependently typed programming language / interactive theorem prover. -
eliminators
Dependently typed elimination functions using singletons -
Sit
Prototypical type checker for Type Theory with Sized Natural Numbers
Collect and Analyze Billions of Data Points in Real Time
Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.
Promo
www.influxdata.com
Do you think we are missing an alternative of agda-snippets or a related project?