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 6.3 agda-snippets VS singletons

Fake dependent types in Haskell using singletons

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

Promo workos.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 3.3 agda-snippets VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.1 4.5 agda-snippets VS eliminators

Dependently typed elimination functions using singletons
open-typerep

4.4 0.0 agda-snippets VS open-typerep

Open type representations and dynamic types
Sit

4.1 2.5 agda-snippets VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers