Updated : 2019-12-06 00:43:42 UTC

Respositories

Counts
Total

/search/repositories?q=language:Idris

1284
New

/search/repositories?q=language:Idris+created:2019-12-05

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Idris+pushed:2019-12-05

3
Update Rate

( Update / Total ) * 100

0.23%
Sleeping

/search/repositories?q=language:Idris+pushed:<2018-12-05

968
Stars
Star 1000+

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

0
Star 100+

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

16
Sum stars of Top 30 repos

sum ( repos.stars )

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

475

Top Star Repos

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

  1. 714
    A dependently typed programming language, a successor to Idris
  2. 568
    A prototype successor to Idris
  3. 340
    Software Foundations in Idris
  4. 301
    JVM bytecode back end for Idris
  5. 240
    𝛌 Awesome Idris resources
  6. 230
    Programming language agnostic type construction language based on polynomials.
  1. 205
    Parser combinators for Idris
  2. 190
    xmonad with the X11 abstracted and configured with Idris
  3. 172
    Collection of Idris tests and demonstration programs
  4. 162
    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.
  5. 143
    formally verified category theory library
  6. 138
    Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
  7. 125
    Sample code from &quot;Type Driven Development with Idris&quot;
  8. 123
    2048 in Idris
  9. 110
    Implementation of cryptographic primitives using Idris
  10. 103
    a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
  11. 83
    Various data structures for use in the Idris Language.
  12. 80
    FFI Bindings to interact with the unsafe world of JavaScript
  13. 74
    Type provider library for Idris
  14. 58
    TParsec - Total Parser Combinators in Idris
  15. 57
    HoTT in Idris
  16. 56
    Recursion schemes for Idris
  17. 56
    A proper network library for Idris, now that I know what I&#39;m doing.
  18. 55
    A port of QuickCheck to Idris
  19. 51
    Learning project by a group of people interested in learning the Idris language
  20. 48
    Slides and exercises for the Idris course taught at Galois
  21. 47
    A test framework for Idris
  22. 46
    Experiments in Idris / Unity integration.
  23. 43
    SDL bindings package for idris
  24. 39
    Js libraries for idris

New Repos

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

Users

Total

/search/users?q=language:Idris

76
Followers 100+

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

0
Repos per User

repos.Total / users.Total

16.89