hoq

A language based on homotopy type theory with an interval (by valis)
Review Data structures Dependent Types
Source Code
Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

Hoq Alternatives

Similar projects and alternatives to hoq

valis
hoq

  1. singletons

    2 hoq VS singletons

    Fake dependent types in Haskell using singletons

  2. InfluxDB

    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.

    InfluxDB logo

  3. Sit

    0 hoq VS Sit

    Prototypical type checker for Type Theory with Sized Natural Numbers (by andreasabel)

  4. cubical

    0 hoq VS cubical

    Implementation of Univalence in Cubical Sets (by simhu)

  5. open-typerep

    1 hoq VS open-typerep

    Open type representations and dynamic types

  6. monadic-arrays

    0 hoq VS monadic-arrays

    MArray instances for monad transformers

  7. eliminators

    0 hoq VS eliminators

    Dependently typed elimination functions using singletons

  8. nonempty-containers

    0 hoq VS nonempty-containers

    Efficient non-empty variants of containers data types, with full API

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  10. graph-wrapper

    0 hoq VS graph-wrapper

    A wrapper around the standard Data.Graph with a less awkward interface

  11. igraph

    0 hoq VS igraph

    Incomplete Haskell bindings to the igraph library (which is written in C)

  12. agda-snippets

    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.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better hoq alternative or higher similarity.
Suggest an alternative to hoq

hoq discussion

Log in or Post with

hoq reviews and mentions

Posts with mentions or reviews of hoq. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning hoq yet.
Tracking mentions began in Dec 2020.

Stats

Basic hoq repo stats
0
85
0.0
about 10 years ago

valis/hoq is an open source project licensed under GNU General Public License v2.0 only which is an OSI approved license.

The primary programming language of hoq is Haskell.

Popular Comparisons

  1. hoq VS singletons
  2. hoq VS Sit
  3. hoq VS cubical
  4. hoq VS open-typerep
  5. hoq VS monadic-arrays
  6. hoq VS eliminators
  7. hoq VS nonempty-containers
  8. hoq VS graph-wrapper
  9. hoq VS igraph
  10. hoq VS agda-snippets

Sponsored
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.
www.influxdata.com

Did you know that Haskell is
the 25th most popular programming language
based on number of references?

Loading...