open-typerep alternatives and related packages

Based on the "Dependent Types" category

• Agda

  9.9 9.8 open-typerep VS Agda

  A dependently typed functional programming language and proof assistant

• singletons

  9.6 7.4 open-typerep VS singletons

  A framework for generating singleton types

• cubical

  9.4 0.0 open-typerep VS cubical

  Implementation of Univalence in Cubical Sets

• hoq

  8.8 0.0 open-typerep VS hoq

  A language based on homotopy type theory with an interval type

• eliminators

  6.8 5.6 open-typerep VS eliminators

  Dependently typed elimination functions using singletons

• helf

  6.1 1.1 open-typerep VS helf

  Typechecking terms of the Edinburgh Logical Framework (LF).

• Sit

  3.2 0.0 open-typerep VS Sit

  Prototypical type checker for Type Theory with Sized Natural Numbers

• agda-snippets

  2.9 0.0 open-typerep VS agda-snippets

  Render just the Agda snippets of a literate Agda file to HTML

Do you think we are missing an alternative of open-typerep or a related project?

Add another 'Dependent Types' Package

open-typerep Recommendations

There are no recommendations yet. Be the first to promote open-typerep!

Have you used open-typerep? Share your experience. Write a short recommendation and open-typerep, you and your project will be promoted on Awesome Haskell.
Recommend open-typerep

Recently added open-typerep resources

Popular Comparisons

• Sit
  vs
  hoq