Standard ML

Updated : 2018-06-24 00:26:12 UTC

Respositories

Counts
Total

/search/repositories?q=language:Standard-ML

2687
New

/search/repositories?q=language:Standard-ML+created:2018-06-23

5
Increase rate

( New / Total ) * 100

0.19%
Activity
Update

/search/repositories?q=language:Standard-ML+pushed:2018-06-23

14
Update Rate

( Update / Total ) * 100

0.52%
Sleeping

/search/repositories?q=language:Standard-ML+pushed:<2017-06-23

1788
Stars
Star 1000+

/search/repositories?q=language:Standard-ML+stars:>=1000

0
Star 100+

/search/repositories?q=language:Standard-ML+stars:>=100

19
Sum stars of Top 30 repos

sum ( repos.stars )

6159
Forks
Fork 1000+ Repos

/search/repositories?q=language:Standard-ML+forks:>=1000

0
Fork 100+

/search/repositories?q=language:Standard-ML+forks:>=100

2
Sum forks of Top 30 repos

sum ( repos.forks )

1367

Top Star Repos

/search/repositories?q=language:Standard-ML&sort=stars&order=desc&per_page=30

  1. 778
    Haskell Research Compiler
  2. 755
    Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
  3. 505
    The Ur/Web programming language
  4. 409
    The MLton repository
  5. 392
    Globally orientated citizenship with private passport services using available cryptographic tools
  6. 367
    CakeML: A Verified Implementation of ML
  1. 269
    getcomposer.org sources
  2. 218
    Canonical sources for HOL4 theorem-proving system. Branch master is where &quot;mainline development&quot; occurs.
  3. 214
    A public database for software and firmware hashes
  4. 201
    Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  5. 180
    Poly/ML
  6. 160
    Low-level Lisp with compile-time memory management
  7. 154
    Project materials related to logic programming for interactive/reactive systems.
  8. 153
    The People&#39;s Refinement Logic
  9. 135
    MLWorks is a Standard ML compiler and development environment.
  10. 134
    Passive Real-time Asset Detection System
  11. 117
    The HOL Light theorem prover (moved from Google code)
  12. 114
    Standard ML Compiler and Toolkit
  13. 101
    An proof refinement logic for computational type theory based on Brouwer-realizability &amp; the verificationist meaning explanation. Inspired by Nuprl. [For up-to-date development, see JonPRL&#39;s successor, Red JonPRL: https://github.com/JonPRL/sml-red-jonprl]
  14. 96
    Library and Toolkit for Standard ML
  15. 95
    Compute and compare MinHash signatures for DNA data sets.
  16. 94
    MLton with Realtime GC and Threading features
  17. 92
    APL Compiler targeting a typed array intermediate language
  18. 79
    Smackage Package Manager for Standard ML
  19. 67
    A small implementation of type inference
  20. 67
    Informatica (public code during my MSc study)
  21. 59
    Quantomatic is a tool for doing automated graph rewriting.
  22. 53
    Library for automatic unit testing of Standard ML modules
  23. 51
    MLton for scalable multicore architectures
  24. 50
    l1c is a simple formally verified compiler for a while language

New Repos

/search/repositories?q=language:Standard-ML+created:2018-06-23&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Standard-ML

506
Followers 100+

/search/users?q=language:Standard-ML+followers:>=100

0
Repos per User

repos.Total / users.Total

5.31