Compare idris and pi-forall's popularity and activity
Popularity
10.0
Stable
Activity
3.4
-
Popularity
9.8
Stable
Activity
6.3
Declining
idris | pi-forall | |
3,457 | 594 | |
117 | 32 | |
638 | 92 | |
117 days | - | |
about 5 years ago | - | |
4 months ago | 7 months ago | |
96 | 3 | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License | |
Compilers/Interpreters, Dependent Types | Compilers/Interpreters |
More comparisons
-
idrisvshackager
-
idrisvsconst-math-ghc-plugin
-
idrisvsegison
-
idrisvsElm
-
idrisvssimple-atom
-
idrisvsghc-proofs
Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «
» Subscribe to our newsletter «