Compare dyckword and equational-reasoning's popularity and activity
Popularity
0.8
Stable
Activity
0.0
Stable
Popularity
7.3
Stable
Activity
3.9
Declining
dyckword | equational-reasoning | |
0 | 32 | |
1 | 2 | |
0 | 2 | |
- | - | |
90 | 223 | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License | |
Math | Math |
Interest over time of dyckword and equational-reasoning
Note: It is possible that some search terms could be used in multiple areas and that could skew some graphs.