SrcLog ranks 14 Standard ML developers on GitHub by the total stars of their public repositories. Together they hold 2,555 stars. The most-starred is jichangtuijian-cheap with 611 stars across 1 repository. Updated daily.