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.
Agda10.0 9.8 hoq VS AgdaAgda is a dependently typed programming language / interactive theorem prover.
singletons9.7 5.5 hoq VS singletonsFake dependent types in Haskell using singletons
cubical9.4 0.0 hoq VS cubicalImplementation of Univalence in Cubical Sets
helf7.3 0.0 hoq VS helfHaskell implementation of the Edinburgh Logical Framework
eliminators7.2 3.1 hoq VS eliminatorsDependently typed elimination functions using singletons
open-typerep4.2 0.0 hoq VS open-typerepOpen type representations and dynamic types
agda-snippets4.2 0.0 hoq VS agda-snippetsLibrary and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Sit3.9 0.0 hoq VS SitPrototypical type checker for Type Theory with Sized Natural Numbers
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.
Do you think we are missing an alternative of hoq or a related project?
A language based on homotopy type theory with an interval