Updated : 2019-02-23 00:43:37 UTC

Respositories

Counts
Total

/search/repositories?q=language:Idris

1158
New

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

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

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

3
Update Rate

( Update / Total ) * 100

0.26%
Sleeping

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

736
Stars
Star 1000+

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

0
Star 100+

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

12
Sum stars of Top 30 repos

sum ( repos.stars )

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

367

Top Star Repos

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

  1. 445
    A prototype successor to Idris
  2. 296
    Software Foundations in Idris
  3. 277
    JVM bytecode back end for Idris
  4. 196
    Parser combinators for Idris
  5. 184
    xmonad with the X11 abstracted and configured with Idris
  6. 158
    Collection of Idris tests and demonstration programs
  1. 155
    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. 143
    𝛌 Awesome Idris resources
  3. 130
    Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  4. 117
    2048 in Idris
  5. 110
    Implementation of cryptographic primitives using Idris
  6. 107
    Sample code from &quot;Type Driven Development with Idris&quot;
  7. 97
    a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
  8. 78
    FFI Bindings to interact with the unsafe world of JavaScript
  9. 77
    Various data structures for use in the Idris Language.
  10. 74
    Compiler for the Mirth programming language, a type-safe functional Forth.
  11. 72
    Type provider library for Idris
  12. 56
    A proper network library for Idris, now that I know what I&#39;m doing.
  13. 52
    A port of QuickCheck to Idris
  14. 51
    Recursion schemes for Idris
  15. 51
    Learning project by a group of people interested in learning the Idris language
  16. 51
    HoTT in Idris
  17. 50
    TParsec - Total Parser Combinators in Idris
  18. 48
    Programming language agnostic type construction language based on polynomials.
  19. 47
    Experiments in Idris / Unity integration.
  20. 45
    Slides and exercises for the Idris course taught at Galois
  21. 41
    SDL bindings package for idris
  22. 41
    A test framework for Idris
  23. 34
    A simple Idris program to blink the LED on an Arduino

New Repos

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

Users

Total

/search/users?q=language:Idris

70
Followers 100+

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

0
Repos per User

repos.Total / users.Total

16.54