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

10.0 9.7 hoq VS Agda

Agda is a dependently typed programming language / interactive theorem prover.
singletons

9.7 4.9 hoq VS singletons

Fake dependent types in Haskell using singletons

Scout APM: A developer's best friend. Try free for 14-days

Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

Promo scoutapm.com

cubical

9.4 0.0 hoq VS cubical

Implementation of Univalence in Cubical Sets
eliminators

7.3 0.0 hoq VS eliminators

Dependently typed elimination functions using singletons
helf

7.3 4.2 hoq VS helf

Haskell implementation of the Edinburgh Logical Framework
open-typerep

4.6 0.0 hoq VS open-typerep

Open type representations and dynamic types
agda-snippets

3.9 0.0 hoq VS agda-snippets

Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Sit

3.5 0.0 hoq VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers

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

Add another 'Dependent Types' Package

Popular Comparisons

README

hoq

A language based on homotopy type theory with an interval