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

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

9.7 8.2 open-typerep VS singletons

Fake dependent types in Haskell using singletons

InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

Promo www.influxdata.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 3.3 open-typerep VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.1 5.0 open-typerep VS eliminators

Dependently typed elimination functions using singletons
agda-snippets

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

4.1 3.1 open-typerep VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers