Popularity
8.9
Declining
Activity
0.0
Stable
79
13
5
Monthly Downloads: 7
Programming language: Haskell
License: GNU General Public License v2.0 only
hoq alternatives and similar packages
Based on the "Dependent Types" category.
Alternatively, view hoq alternatives based on common mentions on social networks and blogs.
-
Agda
Agda is a dependently typed programming language / interactive theorem prover. -
agda-snippets
Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Promo
www.influxdata.com
Do you think we are missing an alternative of hoq or a related project?
Popular Comparisons
README
hoq
A language based on homotopy type theory with an interval