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.6 agda-snippets VS Agda

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

9.7 5.6 agda-snippets VS singletons

Fake dependent types in Haskell using singletons

Less time debugging, more time building

Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

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

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.3 3.0 agda-snippets VS eliminators

Dependently typed elimination functions using singletons
open-typerep

4.5 0.0 agda-snippets VS open-typerep

Open type representations and dynamic types
Sit

3.3 3.5 agda-snippets VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers