Updated : 2018-10-23 00:43:38 UTC

Respositories

Counts
Total

/search/repositories?q=language:Idris

1058
New

/search/repositories?q=language:Idris+created:2018-10-22

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Idris+pushed:2018-10-22

3
Update Rate

( Update / Total ) * 100

0.28%
Sleeping

/search/repositories?q=language:Idris+pushed:<2017-10-22

636
Stars
Star 1000+

/search/repositories?q=language:Idris+stars:>=1000

0
Star 100+

/search/repositories?q=language:Idris+stars:>=100

11
Sum stars of Top 30 repos

sum ( repos.stars )

2870
Forks
Fork 1000+ Repos

/search/repositories?q=language:Idris+forks:>=1000

0
Fork 100+

/search/repositories?q=language:Idris+forks:>=100

0
Sum forks of Top 30 repos

sum ( repos.forks )

323

Top Star Repos

/search/repositories?q=language:Idris&sort=stars&order=desc&per_page=30

  1. 265
    JVM bytecode backend for Idris
  2. 237
    Software Foundations in Idris
  3. 229
    A prototype successor to Idris
  4. 190
    Parser combinators for Idris
  5. 182
    xmonad with the X11 abstracted and configured with Idris
  6. 152
    Collection of Idris tests and demonstration programs
  1. 147
    Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.
  2. 128
    Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  3. 116
    2048 in Idris
  4. 107
    𝛌 Awesome Idris resources
  5. 106
    Implementation of cryptographic primitives using Idris
  6. 99
    Sample code from &quot;Type Driven Development with Idris&quot;
  7. 96
    a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
  8. 74
    Various data structures for use in the Idris Language.
  9. 74
    FFI Bindings to interact with the unsafe world of JavaScript
  10. 69
    Type provider library for Idris
  11. 54
    A proper network library for Idris, now that I know what I&#39;m doing.
  12. 52
    A port of QuickCheck to Idris
  13. 51
    HoTT in Idris
  14. 49
    Learning project by a group of people interested in learning the Idris language
  15. 46
    Experiments in Idris / Unity integration.
  16. 45
    Recursion schemes for Idris
  17. 45
    Slides and exercises for the Idris course taught at Galois
  18. 45
    TParsec - Total Parser Combinators in Idris
  19. 39
    SDL bindings package for idris
  20. 37
    A test framework for Idris
  21. 34
    Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  22. 33
    State machines in Idris
  23. 33
    Static blog generator in Idris.

New Repos

/search/repositories?q=language:Idris+created:2018-10-22&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Idris

68
Followers 100+

/search/users?q=language:Idris+followers:>=100

0
Repos per User

repos.Total / users.Total

15.56