Compare ghc-proofs and dhall's popularity and activity

Popularity
9.4
Stable
Activity
0.0
Stable
Popularity
9.9
Stable
Activity
8.5
Declining

ghc-proofs dhall
145 804
13 30
6 187
145 days 32 days
over 3 years ago over 1 year ago
over 3 years ago 5 days ago
14 448
Haskell Dhall
MIT License BSD 3-clause "New" or "Revised" License
Formal Methods, Compiler, Compiler Plugin Compiler

Take part in the Developer Ecosystem Survey 2022 by JetBrains and get a chance to win a Macbook, a Nvidia graphics card, or other prizes. We’ll create an infographic full of stats, and you’ll get personalized results so you can compare yourself with other developers.


Interest over time of ghc-proofs and dhall

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

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