Popularity

4.7

Growing

Activity

0.0

Stable

Stars 4

Watchers 2

Forks 3

Last Commit almost 10 years ago

Monthly Downloads: 35

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

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

9.7 6.4 open-typerep VS singletons

Fake dependent types in Haskell using singletons

SaaSHub helps you find the best software and product alternatives

Promo www.saashub.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.4 2.8 open-typerep VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

6.9 4.6 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.8 2.6 open-typerep VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers