Trending Standard ML Projects

Top 19 Trending Standard ML Projects

1. openwrt-useful-tools

   1 266 4.9%

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

   

2. Arma-Reforger-Samples

   2 271 3.7%

   Modding Samples

   

3. cakeml

   3 1,055 2.9%

   CakeML: A Verified Implementation of ML

   

4. smlnj

   4 210 1.9%

   Standard ML of New Jersey

   

5. apltail

   5 214 1.4%

   APL Compiler targeting a typed array intermediate language

   

6. polyml

   6 504 1.2%

   Poly/ML

   

7. GoldenCheetah

   7 1,936 1.1%

   Performance Software for Cyclists, Runners, Triathletes and Coaches

   

8. mpl

   8 380 1.1%

   The MaPLe compiler: efficient and scalable parallel functional programming

   

9. mlton

   9 1,015 0.8%

   The MLton repository

   

10. mlkit

    10 286 0.7%

    Standard ML Compiler and Toolkit (by melsman)

    

11. LunarML

    11 377 0.3%

    The Standard ML compiler that produces Lua/JavaScript

    

12. World-Citizenship

    12 403 0.2%

    Globally orientated citizenship with private passport services using available cryptographic tools

    

13. smlpkg

    13 165 0.0%

    Generic package manager for Standard ML libraries and programs

    

14. ponyo

    14 145 0.0%

    Library and Toolkit for Standard ML

    

15. urweb

    15 814 -0.1%

    The Ur/Web programming language

    

16. interactive-lp

    16 277 -0.4%

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

    

17. smackage

    17 122 -0.8%

    Smackage Package Manager for Standard ML

    

18. repo.openwrt.melmac.net

    18 103 -1.0%

    OpenWrt/LEDE Project Packages Repository

    

19. perpetualpowersoftau

    19 133 -1.5%

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

    

Index