Hoq Alternatives

Similar projects and alternatives to hoq

• Sit

  - 6 0.0 Haskell hoq VS Sit

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

• open-typerep

  - 4 0.0 Haskell hoq VS open-typerep

  Open type representations and dynamic types

• Nanos

  github.com/nanovms

  sponsored

  Run Linux Software Faster and Safer than Linux with Unikernels.

  

• cubical

  - 128 0.0 Haskell hoq VS cubical

  Implementation of Univalence in Cubical Sets (by simhu)

• miso

  - 1,895 7.2 Haskell hoq VS miso

  :ramen: A tasty Haskell front-end framework

• igraph

  - 7 0.0 Haskell hoq VS igraph

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

• permutation

  - 8 0.0 Haskell hoq VS permutation

  git import of patrick perry permutations lib from darcs (by spacekitteh)

• distributive

  - 39 8.8 Haskell hoq VS distributive

  Dual Traversable

• Scout APM

  scoutapm.com

  sponsored

  Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

  

• agda-snippets

  - 5 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.

• graph-wrapper

  - 6 0.0 Haskell hoq VS graph-wrapper

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

• representable-functors

  - 9 0.0 Haskell hoq VS representable-functors

  representable functors

Suggest an alternative to hoq