Updated : 2018-02-23 00:43:44 UTC

Respositories

Counts
Total

/search/repositories?q=language:Idris

881
New

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

1
Increase rate

( New / Total ) * 100

0.11%
Activity
Update

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

9
Update Rate

( Update / Total ) * 100

1.02%
Sleeping

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

459
Stars
Star 1000+

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

0
Star 100+

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

8
Sum stars of Top 30 repos

sum ( repos.stars )

2380
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 )

285

Top Star Repos

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

  1. 236
    JVM bytecode backend for Idris
  2. 185
    Software Foundations in Idris
  3. 169
    xmonad with the X11 abstracted and configured with Idris
  4. 162
    Parser combinators for Idris
  5. 142
    Collection of Idris tests and demonstration programs
  6. 135
    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.
  1. 119
    Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  2. 112
    2048 in Idris
  3. 93
    Implementation of cryptographic primitives using Idris
  4. 89
    Sample code from &quot;Type Driven Development with Idris&quot;
  5. 81
    A little toy...
  6. 65
    Type provider library for Idris
  7. 65
    𝛌 Awesome Idris resources
  8. 63
    FFI Bindings to interact with the unsafe world of JavaScript
  9. 62
    a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
  10. 60
    Various data structures for use in the Idris Language.
  11. 53
    HoTT in Idris
  12. 52
    A proper network library for Idris, now that I know what I&#39;m doing.
  13. 47
    Learning project by a group of people interested in learning the Idris language
  14. 47
    A port of QuickCheck to Idris
  15. 44
    Slides and exercises for the Idris course taught at Galois
  16. 44
    Experiments in Idris / Unity integration.
  17. 36
    SDL bindings package for idris
  18. 34
    Recursion schemes for Idris
  19. 34
    A test framework for Idris
  20. 32
    State machines in Idris
  21. 32
    Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  22. 30
    Static blog generator in Idris.
  23. 29
    Js libraries for idris
  24. 28
    A simple Idris program to blink the LED on an Arduino

New Repos

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

Users

Total

/search/users?q=language:Idris

51
Followers 100+

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

0
Repos per User

repos.Total / users.Total

17.27