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 6.0 hoq VS singletons

Fake dependent types in Haskell using singletons

Build time-series-based applications quickly and at scale.

InfluxDB is the Time Series Data Platform where developers build real-time applications for analytics, IoT and cloud-native services in less time with less code.

Promo www.influxdata.com

cubical

9.4 0.0 hoq VS cubical

Implementation of Univalence in Cubical Sets
helf

7.3 0.0 hoq VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.2 3.8 hoq VS eliminators

Dependently typed elimination functions using singletons
open-typerep

4.3 0.0 hoq VS open-typerep

Open type representations and dynamic types
agda-snippets

3.8 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.2 2.4 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