Popularity

9.0

Growing

Activity

0.0

Stable

Stars 85

Watchers 14

Forks 4

Last Commit about 10 years ago

Monthly Downloads: 3

Programming language: Haskell

License: GNU General Public License v2.0 only

Tags: Data Structures Dependent Types

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.9 hoq VS Agda

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

9.7 7.0 hoq VS singletons

Fake dependent types in Haskell using singletons

InfluxDB – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

Promo www.influxdata.com

cubical

9.4 0.0 hoq VS cubical

Implementation of Univalence in Cubical Sets
helf

7.5 2.8 hoq VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.1 4.6 hoq VS eliminators

Dependently typed elimination functions using singletons
agda-snippets

4.6 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.9 3.0 hoq VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers
open-typerep

3.8 0.0 hoq VS open-typerep

Open type representations and dynamic types

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