Standard ML

Updated : 2020-07-06 00:28:06 UTC

Respositories

Counts
Total

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

4066
New

/search/repositories?q=language:Standard-ML+created:2020-07-05

1
Increase rate

( New / Total ) * 100

0.02%
Activity
Update

/search/repositories?q=language:Standard-ML+pushed:2020-07-05

16
Update Rate

( Update / Total ) * 100

0.39%
Sleeping

/search/repositories?q=language:Standard-ML+pushed:<2019-07-05

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

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

6283

Top Star Repos

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

  1. 17417
    好耶 是女装
  2. 802
    Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
  3. 791
    Haskell Research Compiler
  4. 674
    The Ur/Web programming language
  5. 603
    The MLton repository
  6. 588
    CakeML: A Verified Implementation of ML
  1. 398
    Globally orientated citizenship with private passport services using available cryptographic tools
  2. 383
    getcomposer.org sources
  3. 379
    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. 283
    Poly/ML
  5. 251
    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. 206
    The People&#39;s Refinement Logic
  8. 189
    Low-level Lisp with compile-time memory management
  9. 184
    Sail architecture definition language
  10. 178
    Project materials related to logic programming for interactive/reactive systems.
  11. 170
    Passive Real-time Asset Detection System
  12. 157
    Standard ML Compiler and Toolkit
  13. 145
    MLWorks is a Standard ML compiler and development environment.
  14. 137
    Library and Toolkit for Standard ML
  15. 115
    Proof of concept: let&#39;s audit npm!
  16. 111
    APL Compiler targeting a typed array intermediate language
  17. 109
    Generic package manager for Standard ML libraries and programs
  18. 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]
  19. 96
    MLton with Realtime GC and Threading features
  20. 94
    Quantomatic is a tool for doing automated graph rewriting.
  21. 92
    Smackage Package Manager for Standard ML
  22. 77
    Public code developed during my MSc study at University of Bologna
  23. 70
    A small implementation of type inference
  24. 68
    Tiger Compiler from &quot;Modern Compiler Implementation in ML&quot; by Andrew W. Appel

New Repos

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

Users

Total

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

2634
Followers 100+

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

1
Repos per User

repos.Total / users.Total

1.54