The most popular projects on Standard ML LibHunt by number of mentions https://www.libhunt.com/l/standard-ml The Ur/Web programming language (7 mentions) Sat, 27 Dec 2025 06:57:39 -0800 https://www.libhunt.com/r/urweb urweb-45047 The MaPLe compiler: efficient and scalable parallel functional programming (9 mentions) Tue, 09 Sep 2025 09:57:13 -0700 https://www.libhunt.com/r/mpl mpl-42391 Standard ML Compiler and Toolkit (3 mentions) Thu, 23 May 2024 06:57:20 -0700 https://www.libhunt.com/r/melsman/mlkit mlkit-30827 The Standard ML compiler that produces Lua/JavaScript (4 mentions) Wed, 22 May 2024 06:57:15 -0700 https://www.libhunt.com/r/LunarML LunarML-30797 CakeML: A Verified Implementation of ML (15 mentions) Tue, 14 May 2024 14:57:15 -0700 https://www.libhunt.com/r/cakeml cakeml-30582 The MaPLe compiler: efficient and scalable parallel functional programming (7 mentions) Sun, 28 Apr 2024 10:57:11 -0700 https://www.libhunt.com/r/mpl mpl-30149 A manager for checkouts of third-party source code dependencies. (2 mentions) Sat, 27 Jan 2024 10:57:29 -0800 https://www.libhunt.com/r/repoint repoint-28484 A functional fluent API generator (2 mentions) Wed, 26 Apr 2023 04:57:32 -0700 https://www.libhunt.com/r/flunct flunct-22726 CakeML: A Verified Implementation of ML (2 mentions) Mon, 02 Jan 2023 12:57:18 -0800 https://www.libhunt.com/r/cakeml cakeml-19740 Dell Wyze 3040 (OpenWRT & Notes) (2 mentions) Thu, 01 Dec 2022 15:57:07 -0800 https://www.libhunt.com/r/dell-wyse-3040-openwrt dell-wyse-3040-openwrt-18862 Performance Software for Cyclists, Runners, Triathletes and Coaches (2 mentions) Thu, 29 Sep 2022 09:57:08 -0700 https://www.libhunt.com/r/GoldenCheetah GoldenCheetah-17125 Library and Toolkit for Standard ML (2 mentions) Wed, 07 Sep 2022 18:57:06 -0700 https://www.libhunt.com/r/ponyo ponyo-16594 Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language. (2 mentions) Sun, 31 Jul 2022 19:57:04 -0700 https://www.libhunt.com/r/interactive-lp interactive-lp-15596 Standard ML of New Jersey (2 mentions) Wed, 27 Jul 2022 20:57:06 -0700 https://www.libhunt.com/r/smlnj smlnj-15436 Parallel ML benchmark suite (2 mentions) Wed, 27 Jul 2022 07:57:10 -0700 https://www.libhunt.com/r/parallel-ml-bench parallel-ml-bench-15426 The MLton repository (2 mentions) Mon, 04 Jul 2022 10:57:07 -0700 https://www.libhunt.com/r/mlton mlton-14902 The MaPLe compiler: efficient and scalable parallel functional programming (2 mentions) Sun, 26 Jun 2022 14:57:08 -0700 https://www.libhunt.com/r/mpl mpl-14698 Modding Samples (2 mentions) Tue, 17 May 2022 16:57:09 -0700 https://www.libhunt.com/r/Arma-Reforger-Samples Arma-Reforger-Samples-13627 magic-trace collects and displays high-resolution traces of what a process is doing (2 mentions) Fri, 22 Apr 2022 06:57:04 -0700 https://www.libhunt.com/r/magic-trace magic-trace-12877 The Ur/Web programming language (2 mentions) Sat, 12 Feb 2022 12:57:12 -0800 https://www.libhunt.com/r/urweb urweb-11086