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 6.1 open-typerep VS singletons

Fake dependent types in Haskell using singletons

Build time-series-based applications quickly and at scale.

InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

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 0.0 open-typerep VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.2 3.8 open-typerep VS eliminators

Dependently typed elimination functions using singletons
agda-snippets

3.8 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.2 2.0 open-typerep VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers