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

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

9.7 5.6 hoq VS singletons

Fake dependent types in Haskell using singletons

Static code analysis for 29 languages.

Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

Promo www.sonarqube.org

cubical

9.4 0.0 hoq VS cubical

Implementation of Univalence in Cubical Sets
eliminators

7.3 3.0 hoq VS eliminators

Dependently typed elimination functions using singletons
helf

7.3 3.7 hoq VS helf

Haskell implementation of the Edinburgh Logical Framework
open-typerep

4.5 0.0 hoq VS open-typerep

Open type representations and dynamic types
agda-snippets

3.7 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.3 3.5 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