Compare idris and pi-forall's popularity and activity
Popularity
10.0
Stable
Activity
4.1
-
Popularity
9.8
Stable
Activity
0.0
-
idris | pi-forall | |
3,392 | 511 | |
122 | 34 | |
658 | 87 | |
117 days | - | |
over 3 years ago | - | |
7 months ago | 2 months ago | |
59 | 2 | |
Haskell | Haskell | |
BSD 3-clause "New" or "Revised" License | BSD 3-clause "New" or "Revised" License | |
Compilers/Interpreters, Dependent Types | Compilers/Interpreters |
Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
More comparisons
-
idrisvshackager
-
idrisvsconst-math-ghc-plugin
-
idrisvsegison
-
idrisvssimple-atom
-
idrisvsdhall
-
idrisvsghc-proofs
Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «
» Subscribe to our newsletter «