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.7 open-typerep VS Agda

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

9.7 4.9 open-typerep VS singletons

Fake dependent types in Haskell using singletons

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.

Promo scoutapm.com

cubical

9.4 0.0 open-typerep VS cubical

Implementation of Univalence in Cubical Sets
hoq

9.0 0.0 open-typerep VS hoq

A language based on homotopy type theory with an interval
helf

7.3 4.2 open-typerep VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.3 0.0 open-typerep VS eliminators

Dependently typed elimination functions using singletons
agda-snippets

3.9 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.5 0.0 open-typerep VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers