Popularity

4.7

Growing

Activity

0.0

Stable

Stars 8

Watchers 3

Forks 1

Last Commit almost 6 years ago

Monthly Downloads: 3

Programming language: Haskell

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

Tags: Data Structures Dependent Types Agda

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

Fake dependent types in Haskell using singletons

Collect and Analyze Billions of Data Points in Real Time

Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

Promo www.influxdata.com

cubical

9.4 0.0 agda-snippets VS cubical

Implementation of Univalence in Cubical Sets
hoq

8.9 0.0 agda-snippets VS hoq

A language based on homotopy type theory with an interval
helf

7.2 0.0 agda-snippets VS helf

Haskell implementation of the Edinburgh Logical Framework
eliminators

7.0 0.0 agda-snippets VS eliminators

Dependently typed elimination functions using singletons
open-typerep

4.7 0.0 agda-snippets VS open-typerep

Open type representations and dynamic types
Sit

3.6 0.0 agda-snippets VS Sit

Prototypical type checker for Type Theory with Sized Natural Numbers