Standard ML

Updated : 2019-02-23 00:26:08 UTC

Respositories

Counts
Total

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

3327
New

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

2
Increase rate

( New / Total ) * 100

0.06%
Activity
Update

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

16
Update Rate

( Update / Total ) * 100

0.48%
Sleeping

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

2149
Stars
Star 1000+

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

0
Star 100+

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

22
Sum stars of Top 30 repos

sum ( repos.stars )

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

1444

Top Star Repos

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

  1. 785
    Haskell Research Compiler
  2. 772
    Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
  3. 590
    The Ur/Web programming language
  4. 462
    The MLton repository
  5. 458
    CakeML: A Verified Implementation of ML
  6. 394
    Globally orientated citizenship with private passport services using available cryptographic tools
  1. 315
    getcomposer.org sources
  2. 272
    Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
  3. 219
    Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  4. 216
    A public database for software and firmware hashes
  5. 209
    Poly/ML
  6. 188
    The People&#39;s Refinement Logic
  7. 172
    Low-level Lisp with compile-time memory management
  8. 167
    Project materials related to logic programming for interactive/reactive systems.
  9. 145
    Passive Real-time Asset Detection System
  10. 138
    MLWorks is a Standard ML compiler and development environment.
  11. 125
    Compute and compare MinHash signatures for DNA data sets.
  12. 121
    Standard ML Compiler and Toolkit
  13. 114
    Proof of concept: let&#39;s audit npm!
  14. 113
    Library and Toolkit for Standard ML
  15. 104
    An proof refinement logic for computational type theory based on realizability &amp; the verificationist meaning explanation. Inspired by Nuprl. [For up-to-date development, see JonPRL&#39;s successor, RedPRL: https://github.com/redprl/sml-redprl]
  16. 100
    APL Compiler targeting a typed array intermediate language
  17. 96
    MLton with Realtime GC and Threading features
  18. 95
    Sail architecture definition language
  19. 84
    Smackage Package Manager for Standard ML
  20. 70
    Quantomatic is a tool for doing automated graph rewriting.
  21. 70
    Public code developed during my MSc study at University of Bologna
  22. 67
    A small implementation of type inference
  23. 64
    The formal proof of the Kepler conjecture
  24. 58
    Library for automatic unit testing of Standard ML modules

New Repos

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

Users

Total

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

650
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.12