Compare idris and hackager's popularity and activity
Popularity
10.0
Stable
Activity
3.4
-
Popularity
5.9
Growing
Activity
0.0
Stable
idris | hackager | |
3,457 | 13 | |
118 | 3 | |
638 | 3 | |
117 days | 327 days | |
about 5 years ago | over 9 years ago | |
3 months ago | over 9 years ago | |
142 | 10 | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License | |
Compilers/Interpreters, Dependent Types | Testing, Compiler, GHC |
More comparisons
-
idrisvsconst-math-ghc-plugin
-
idrisvsegison
-
idrisvspi-forall
-
idrisvsElm
-
idrisvssimple-atom
-
idrisvsghc-proofs
Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «
» Subscribe to our newsletter «