Top 4 Trending Idris Projects
ABOUT:
The growth percentage is calculated as the increase in the number of stars
compared to the previous month. We list only projects that have
at least 500 stars and a GitHub organization logo set.
Index
What are some of the trending open-source Idris projects? This list will help you:
| Project | Growth | |
|---|---|---|
| 1 | idris2-lsp | 1.9% |
| 2 | Idris2 | 1.8% |
| 3 | idris-ct | 0.0% |
| 4 | software-foundations | 0.0% |