Standard ML

Updated : 2019-08-21 00:26:18 UTC

Respositories

Counts
Total

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

3605
New

/search/repositories?q=language:Standard-ML+created:2019-08-20

1
Increase rate

( New / Total ) * 100

0.03%
Activity
Update

/search/repositories?q=language:Standard-ML+pushed:2019-08-20

18
Update Rate

( Update / Total ) * 100

0.50%
Sleeping

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

2450
Stars
Star 1000+

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

1
Star 100+

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

24
Sum stars of Top 30 repos

sum ( repos.stars )

18446
Forks
Fork 1000+ Repos

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

1
Fork 100+

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

3
Sum forks of Top 30 repos

sum ( repos.forks )

3122

Top Star Repos

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

  1. 11298
    好耶 是女装
  2. 787
    Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
  3. 783
    Haskell Research Compiler
  4. 625
    The Ur/Web programming language
  5. 526
    CakeML: A Verified Implementation of ML
  6. 509
    The MLton repository
  1. 395
    Globally orientated citizenship with private passport services using available cryptographic tools
  2. 342
    getcomposer.org sources
  3. 310
    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.
  4. 236
    Poly/ML
  5. 231
    Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  6. 220
    A public database for software and firmware hashes
  7. 196
    The People&#39;s Refinement Logic
  8. 179
    Low-level Lisp with compile-time memory management
  9. 169
    Project materials related to logic programming for interactive/reactive systems.
  10. 161
    Passive Real-time Asset Detection System
  11. 147
    Compute and compare MinHash signatures for DNA data sets.
  12. 139
    MLWorks is a Standard ML compiler and development environment.
  13. 134
    Sail architecture definition language
  14. 127
    Standard ML Compiler and Toolkit
  15. 122
    Library and Toolkit for Standard ML
  16. 114
    Proof of concept: let&#39;s audit npm!
  17. 107
    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]
  18. 105
    APL Compiler targeting a typed array intermediate language
  19. 96
    MLton with Realtime GC and Threading features
  20. 84
    Quantomatic is a tool for doing automated graph rewriting.
  21. 84
    Smackage Package Manager for Standard ML
  22. 79
    Public code developed during my MSc study at University of Bologna
  23. 72
    The formal proof of the Kepler conjecture
  24. 69
    A small implementation of type inference

New Repos

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

  • 0
    Karatsuba multiplication is used to find factorial of very large numbers using Standard meta Lang (SML)

Users

Total

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

750
Followers 100+

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

1
Repos per User

repos.Total / users.Total

4.81