Standard ML

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

Respositories

Counts
Total

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

3232
New

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

1
Increase rate

( New / Total ) * 100

0.03%
Activity
Update

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

24
Update Rate

( Update / Total ) * 100

0.74%
Sleeping

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

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

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

1634

Top Star Repos

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

  1. 1551
    好耶 是女装
  2. 782
    Haskell Research Compiler
  3. 763
    Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
  4. 552
    The Ur/Web programming language
  5. 435
    The MLton repository
  6. 429
    CakeML: A Verified Implementation of ML
  1. 391
    Globally orientated citizenship with private passport services using available cryptographic tools
  2. 298
    getcomposer.org sources
  3. 255
    Canonical sources for HOL4 theorem-proving system. Branch master is where &quot;mainline development&quot; occurs.
  4. 215
    A public database for software and firmware hashes
  5. 215
    Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  6. 198
    Poly/ML
  7. 174
    The People&#39;s Refinement Logic
  8. 165
    Project materials related to logic programming for interactive/reactive systems.
  9. 165
    Low-level Lisp with compile-time memory management
  10. 148
    The HOL Light theorem prover (moved from Google code)
  11. 145
    Passive Real-time Asset Detection System
  12. 138
    MLWorks is a Standard ML compiler and development environment.
  13. 122
    Standard ML Compiler and Toolkit
  14. 120
    Compute and compare MinHash signatures for DNA data sets.
  15. 115
    Proof of concept: let&#39;s audit npm!
  16. 111
    Library and Toolkit for Standard ML
  17. 103
    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, Red JonPRL: https://github.com/JonPRL/sml-red-jonprl]
  18. 98
    APL Compiler targeting a typed array intermediate language
  19. 95
    MLton with Realtime GC and Threading features
  20. 83
    Smackage Package Manager for Standard ML
  21. 68
    A small implementation of type inference
  22. 68
    Public code developed during my MSc study at University of Bologna
  23. 67
    Quantomatic is a tool for doing automated graph rewriting.
  24. 64
    Sail architecture definition language

New Repos

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

Users

Total

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

589
Followers 100+

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

1
Repos per User

repos.Total / users.Total

5.49