Standard ML

Updated : 2018-08-18 00:26:12 UTC

Respositories

Counts
Total

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

2827
New

/search/repositories?q=language:Standard-ML+created:2018-08-17

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Standard-ML+pushed:2018-08-17

7
Update Rate

( Update / Total ) * 100

0.25%
Sleeping

/search/repositories?q=language:Standard-ML+pushed:<2017-08-17

1859
Stars
Star 1000+

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

0
Star 100+

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

20
Sum stars of Top 30 repos

sum ( repos.stars )

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

1385

Top Star Repos

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

  1. 781
    Haskell Research Compiler
  2. 760
    Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
  3. 518
    The Ur/Web programming language
  4. 417
    The MLton repository
  5. 393
    Globally orientated citizenship with private passport services using available cryptographic tools
  6. 372
    CakeML: A Verified Implementation of ML
  1. 277
    getcomposer.org sources
  2. 230
    Canonical sources for HOL4 theorem-proving system. Branch master is where &quot;mainline development&quot; occurs.
  3. 215
    A public database for software and firmware hashes
  4. 205
    Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  5. 184
    Poly/ML
  6. 163
    Low-level Lisp with compile-time memory management
  7. 160
    The People&#39;s Refinement Logic
  8. 156
    Project materials related to logic programming for interactive/reactive systems.
  9. 140
    Passive Real-time Asset Detection System
  10. 135
    MLWorks is a Standard ML compiler and development environment.
  11. 123
    The HOL Light theorem prover (moved from Google code)
  12. 116
    Standard ML Compiler and Toolkit
  13. 104
    Compute and compare MinHash signatures for DNA data sets.
  14. 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]
  15. 98
    Library and Toolkit for Standard ML
  16. 94
    MLton with Realtime GC and Threading features
  17. 92
    APL Compiler targeting a typed array intermediate language
  18. 81
    Smackage Package Manager for Standard ML
  19. 67
    A small implementation of type inference
  20. 66
    Public code developed during my MSc study at University of Bologna
  21. 63
    Quantomatic is a tool for doing automated graph rewriting.
  22. 55
    TiML: A Functional Programming Language with Time Complexity
  23. 52
    Library for automatic unit testing of Standard ML modules
  24. 51
    MLton for scalable multicore architectures

New Repos

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

Users

Total

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

523
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.41