Standard ML

Updated : 2018-02-23 00:26:13 UTC

Respositories

Counts
Total

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

2479
New

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

1
Increase rate

( New / Total ) * 100

0.04%
Activity
Update

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

20
Update Rate

( Update / Total ) * 100

0.81%
Sleeping

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

1578
Stars
Star 1000+

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

0
Star 100+

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

18
Sum stars of Top 30 repos

sum ( repos.stars )

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

1298

Top Star Repos

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

  1. 766
    Haskell Research Compiler
  2. 741
    Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
  3. 470
    The Ur/Web programming language
  4. 383
    Globally orientated citizenship with private passport services using available cryptographic tools
  5. 374
    The MLton repository
  6. 331
    CakeML: A Verified Implementation of ML
  1. 245
    getcomposer.org sources
  2. 213
    A public database for software and firmware hashes
  3. 192
    Canonical sources for HOL4 theorem-proving system. Branch master is where &quot;mainline development&quot; occurs.
  4. 186
    Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
  5. 168
    Poly/ML
  6. 151
    Project materials related to logic programming for interactive/reactive systems.
  7. 137
    The People&#39;s Refinement Logic
  8. 135
    MLWorks is a Standard ML compiler and development environment.
  9. 127
    Passive Real-time Asset Detection System
  10. 105
    The HOL Light theorem prover (moved from Google code)
  11. 104
    Standard ML Compiler and Toolkit
  12. 100
    An proof refinement logic for computational type theory based on Brouwer-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]
  13. 91
    MLton with Realtime GC and Threading features
  14. 91
    APL Compiler targeting a typed array intermediate language
  15. 80
    Compute and compare MinHash signatures for DNA data sets.
  16. 79
    Library and toolkit for Standard ML
  17. 78
    Smackage Package Manager for Standard ML
  18. 65
    A small implementation of type inference
  19. 64
    Informatica (public code during my MSc study)
  20. 51
    Library for automatic unit testing of Standard ML modules
  21. 49
    l1c is a simple formally verified compiler for a while language
  22. 49
    Quantomatic is a tool for doing automated graph rewriting.
  23. 47
    SML# compiler
  24. 47
    Deterministic kernel build scripts, for Linux, mainly for Debian

New Repos

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

  • 0
    A program that produces the tree of all possible games in Tic-Tac-Toe and counts the number of games won by the first player, second player, and drawn.

Users

Total

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

498
Followers 100+

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

0
Repos per User

repos.Total / users.Total

4.98