agda-snippets alternatives and similar packages

Based on the "Dependent Types" category.
Alternatively, view agda-snippets alternatives based on common mentions on social networks and blogs.

Agda

10.0 9.8 agda-snippets VS Agda

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

9.7 7.0 agda-snippets VS singletons

Fake dependent types in Haskell using singletons

Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

Promo influxdata.com

cubical

9.4 0.0 agda-snippets VS cubical

Implementation of Univalence in Cubical Sets
hoq

9.0 0.0 agda-snippets VS hoq

A language based on homotopy type theory with an interval
helf

7.3 2.9 agda-snippets VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.1 4.6 agda-snippets VS eliminators

Dependently typed elimination functions using singletons
open-typerep

3.8 0.0 agda-snippets VS open-typerep

Open type representations and dynamic types
Sit

3.8 3.0 agda-snippets VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers