Standard ML

Updated : 2020-01-25 00:28:05 UTC

Respositories

Counts
Total

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

3811
New

/search/repositories?q=language:Standard-ML+created:2020-01-24

1
Increase rate

( New / Total ) * 100

0.03%
Activity
Update

/search/repositories?q=language:Standard-ML+pushed:2020-01-24

19
Update Rate

( Update / Total ) * 100

0.50%
Sleeping

/search/repositories?q=language:Standard-ML+pushed:<2019-01-24

2656
Stars
Star 1000+

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

1
Star 100+

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

23
Sum stars of Top 30 repos

sum ( repos.stars )

23803
Forks
Fork 1000+ Repos

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

1
Fork 100+

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

0
Sum forks of Top 30 repos

sum ( repos.forks )

5573

Top Star Repos

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

  1. 16462
    好耶 是女装
  2. 797
    Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
  3. 787
    Haskell Research Compiler
  4. 647
    The Ur/Web programming language
  5. 567
    CakeML: A Verified Implementation of ML
  6. 551
    The MLton repository
  1. 399
    Globally orientated citizenship with private passport services using available cryptographic tools
  2. 363
    getcomposer.org sources
  3. 346
    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. 253
    Poly/ML
  5. 242
    Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  6. 219
    A public database for software and firmware hashes
  7. 201
    The People&#39;s Refinement Logic
  8. 188
    Low-level Lisp with compile-time memory management
  9. 173
    Project materials related to logic programming for interactive/reactive systems.
  10. 165
    Passive Real-time Asset Detection System
  11. 157
    Sail architecture definition language
  12. 142
    Standard ML Compiler and Toolkit
  13. 138
    MLWorks is a Standard ML compiler and development environment.
  14. 130
    Library and Toolkit for Standard ML
  15. 115
    Proof of concept: let&#39;s audit npm!
  16. 107
    APL Compiler targeting a typed array intermediate language
  17. 105
    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. 95
    MLton with Realtime GC and Threading features
  19. 89
    Quantomatic is a tool for doing automated graph rewriting.
  20. 88
    Smackage Package Manager for Standard ML
  21. 79
    Public code developed during my MSc study at University of Bologna
  22. 72
    A small implementation of type inference
  23. 64
    Tiger Compiler from &quot;Modern Compiler Implementation in ML&quot; by Andrew W. Appel
  24. 62
    TiML: A Functional Programming Language with Time Complexity

New Repos

/search/repositories?q=language:Standard-ML+created:2020-01-24&sort=stars&order=desc&per_page=12

Users

Total

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

2080
Followers 100+

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

1
Repos per User

repos.Total / users.Total

1.83