Hoq Alternatives

Similar projects and alternatives to hoq

• Sit

  - 6 2.0 Haskell hoq VS Sit

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

• miso

  - 2,034 5.0 Haskell hoq VS miso

  :ramen: A tasty Haskell front-end framework

• SonarLint

  www.sonarlint.org

  sponsored

  Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

  

• eliminators

  - 27 3.8 Haskell hoq VS eliminators

  Dependently typed elimination functions using singletons

• Agda

  - 2,024 9.9 Haskell hoq VS Agda

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

  

• igraph

  - 7 0.0 Haskell hoq VS igraph

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

• open-typerep

  - 4 0.0 Haskell hoq VS open-typerep

  Open type representations and dynamic types

• cubical

  - 136 0.0 Haskell hoq VS cubical

  Implementation of Univalence in Cubical Sets (by simhu)

• InfluxDB

  www.influxdata.com

  sponsored

  Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  

• graph-wrapper

  - 6 0.0 Haskell hoq VS graph-wrapper

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

• agda-snippets

  - 6 0.0 Haskell 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.

• singletons

  - 278 6.1 Haskell hoq VS singletons

  Fake dependent types in Haskell using singletons