open-typerep alternatives and similar packages

Based on the "Dependent Types" category.
Alternatively, view open-typerep alternatives based on common mentions on social networks and blogs.

Agda

10.0 9.6 open-typerep VS Agda

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

9.7 0.0 open-typerep VS singletons

Fake dependent types in Haskell using singletons

Updating dependencies is time-consuming.

Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.

Promo blog.mergify.com

cubical

9.4 0.0 open-typerep VS cubical

Implementation of Univalence in Cubical Sets
hoq

8.9 0.0 open-typerep VS hoq

A language based on homotopy type theory with an interval
helf

7.2 0.0 open-typerep VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.0 0.0 open-typerep VS eliminators

Dependently typed elimination functions using singletons
agda-snippets

4.7 0.0 open-typerep VS agda-snippets

Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
Sit

3.6 0.0 open-typerep VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers