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 16 Jun 2025.
» Get a weekly report « straight in your inbox. Every Friday.

Top 19 Trending Standard ML Projects

  1. openwrt-useful-tools

    A repo containing different tools compiled specifically for the Hak5 WiFi Pineapple MK6 and MK7.

  2. Arma-Reforger-Samples

    Modding Samples

  3. cakeml

    CakeML: A Verified Implementation of ML

  4. smlnj

    Standard ML of New Jersey

  5. apltail

    APL Compiler targeting a typed array intermediate language

  6. polyml

    Poly/ML

  7. GoldenCheetah

    Performance Software for Cyclists, Runners, Triathletes and Coaches

  8. mpl

    The MaPLe compiler: efficient and scalable parallel functional programming

  9. mlton

    The MLton repository

  10. mlkit

    Standard ML Compiler and Toolkit (by melsman)

  11. LunarML

    The Standard ML compiler that produces Lua/JavaScript

  12. World-Citizenship

    Globally orientated citizenship with private passport services using available cryptographic tools

  13. smlpkg

    Generic package manager for Standard ML libraries and programs

  14. ponyo

    Library and Toolkit for Standard ML

  15. urweb

    The Ur/Web programming language

  16. interactive-lp

    Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.

  17. smackage

    Smackage Package Manager for Standard ML

  18. repo.openwrt.melmac.net

    OpenWrt/LEDE Project Packages Repository

  19. perpetualpowersoftau

    New repo: https://github.com/privacy-scaling-explorations/perpetualpowersoftau

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 openwrt-useful-tools 4.9%
2 Arma-Reforger-Samples 3.7%
3 cakeml 2.9%
4 smlnj 1.9%
5 apltail 1.4%
6 polyml 1.2%
7 GoldenCheetah 1.1%
8 mpl 1.1%
9 mlton 0.8%
10 mlkit 0.7%
11 LunarML 0.3%
12 World-Citizenship 0.2%
13 smlpkg 0.0%
14 ponyo 0.0%
15 urweb -0.1%
16 interactive-lp -0.4%
17 smackage -0.8%
18 repo.openwrt.melmac.net -1.0%
19 perpetualpowersoftau -1.5%