Agda vs void

Compare Agda and void's popularity and activity

Popularity

10.0

Stable

Activity

9.9

Growing

Popularity

8.0

Declining

Activity

4.5

Agda		void
	Repository
2,758	Stars	20
60	Watchers	9
392	Forks	10
-	Release Cycle	320 days
v2.6.3	Latest Version	over 6 years ago
2 days ago	Last Commit	12 days ago
	More
154	Monthly	47
Haskell	Language	Haskell
MIT License	License	BSD 3-clause "New" or "Revised" License
Data Structures, Dependent Types, Agda	Tags	Data Structures

SaaSHub - Software Alternatives and Reviews Sponsored

SaaSHub helps you find the best software and product alternatives

Interest over time of Agda and void

Note: It is possible that some search terms could be used in multiple areas and that could skew some graphs.

The line chart is based on worldwide web search for the past 12 months.
If you don't see the graphs
either there isn't enough search volume
or you need to refresh the page

More comparisons

Agda

vs

appendmap
Agda

vs

knit
void

vs

knit
void

vs

appendmap
void

vs

distributive
Agda

vs

helf

Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «

Compare Agda and void's popularity and activity

Interest over time of Agda and void

More comparisons

Agda

VS

void