Hoq Alternatives

Similar projects and alternatives to hoq

• Sit

  0 6 3.1 Haskell hoq VS Sit

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

• eliminators

  0 27 4.5 Haskell hoq VS eliminators

  Dependently typed elimination functions using singletons

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• miso

  18 2,139 6.2 Haskell hoq VS miso

  :ramen: A tasty Haskell front-end framework

• Agda

  27 2,378 9.8 Haskell hoq VS Agda

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

  

• nonempty-containers

  0 25 3.1 Haskell hoq VS nonempty-containers

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

• monadic-arrays

  0 5 0.0 Haskell hoq VS monadic-arrays

  MArray instances for monad transformers

• open-typerep

  1 4 0.0 Haskell hoq VS open-typerep

  Open type representations and dynamic types

• SaaSHub

  www.saashub.com featured

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

  

• singletons

  2 282 5.6 Haskell hoq VS singletons

  Fake dependent types in Haskell using singletons

• igraph

  0 7 0.0 Haskell hoq VS igraph

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

• cubical

  0 142 0.0 Haskell hoq VS cubical

  Implementation of Univalence in Cubical Sets (by simhu)