Trending Standard ML Projects

This page lists the top trending Standard ML projects based on the growth of GitHub stars.
It is updated once every day. The last update was on 8 Aug 2022.
» Get a weekly report « straight in your inbox. Every Friday.

Top 11 Trending Standard ML Projects

  • mpl

    The MaPLe compiler for Parallel ML (by MPLLang)

  • mlton

    The MLton repository

  • polyml

    Poly/ML

  • smlsharp

    SML# compiler

  • Arma-Reforger-Samples

    Modding Samples

  • GoldenCheetah

    Performance Software for Cyclists, Runners, Triathletes and Coaches

  • cakeml

    CakeML: A Verified Implementation of ML

  • sml-redprl

    The People's Refinement Logic

  • smlpkg

    Generic package manager for Standard ML libraries and programs

  • smackage

    Smackage Package Manager for Standard ML

  • urweb

    The Ur/Web programming language

ABOUT: The growth percentage is calculated as the increase in the number of stars compared to the previous month. We list only projects that have at least 500 stars and a GitHub organization logo set.

Index

What are some of the trending open-source Standard ML projects? This list will help you:

Project Growth
1 mpl 10.3%
2 mlton 1.2%
3 polyml 1.2%
4 smlsharp 1.1%
5 Arma-Reforger-Samples 1.0%
6 GoldenCheetah 0.7%
7 cakeml 0.5%
8 sml-redprl 0.0%
9 smlpkg 0.0%
10 smackage 0.0%
11 urweb 0.0%