Popularity

3.8

Declining

Activity

0.0

Stable

Stars 4

Watchers 2

Forks 3

Last Commit almost 9 years ago

Monthly Downloads: 8

Programming language: Haskell

License: BSD 3-clause "New" or "Revised" License

Tags: Data Structures Dependent Types

Latest version: v0.6.1

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

Fake dependent types in Haskell using singletons

InfluxDB – Built for High-Performance Time Series Workloads

InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

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.5 2.8 open-typerep VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.1 4.6 open-typerep VS eliminators

Dependently typed elimination functions using singletons
agda-snippets

4.6 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.9 3.0 open-typerep VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers