Compare idris and egison's popularity and activity
Popularity
10.0
Stable
Activity
5.4
Growing
Popularity
9.9
Stable
Activity
1.2
Declining
idris | egison | |
3,387 | 885 | |
123 | 47 | |
661 | 33 | |
117 days | 32 days | |
about 3 years ago | over 2 years ago | |
3 months ago | 5 months ago | |
103 | 201 | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | MIT License | |
Compilers/Interpreters, Dependent Types | Compilers/Interpreters, Egison |
Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.
More comparisons
-
idrisvshackager
-
idrisvsconst-math-ghc-plugin
-
idrisvspi-forall
-
egisonvsegison-tutorial
-
egisonvshaskelm
-
idrisvssimple-atom
Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «
» Subscribe to our newsletter «