Standard ML standard-ml

Open-source Standard ML projects categorized as standard-ml
Edit details
Topics: sml mlton Compiler Functional programming Parallel
Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured

Top 8 Standard ML standard-ml Projects

  • mlton

    The MLton repository

    • Project mention: Flunct: Well-typed, fluent APIs in SML | news.ycombinator.com | 2023-06-25

    https://github.com/MLton/mlton/issues/473

    Is there sufficient use of MLTon "native" backend out there to consider it mature? or Do people prefer the LLVM or C backend instead in general?

  • mpl

    The MaPLe compiler for efficient and scalable parallel functional programming

    • Project mention: Bend: The first high-level language that runs natively on GPUs (via HVM2) | news.ycombinator.com | 2024-05-17

    Nowadays 210 is actually parallel! You can run 210-style code using MaPLe (https://github.com/MPLLang/mpl) and get competitive performance with respect to C/C++.

    If you liked 210, you might also like https://futhark-lang.org/ which is an ML-family language that compiles to GPU with good performance.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo

  • mlkit

    Standard ML Compiler and Toolkit (by melsman)

    • Project mention: LunarML – The Standard ML compiler that produces Lua/JavaScript | news.ycombinator.com | 2024-05-22

    This is a very cool project.

    There is also MLKit's SMLtoJs which compiles to Javascript, but not to Lua.

    https://github.com/melsman/mlkit/blob/master/README_SMLTOJS....

  • LunarML

    The Standard ML compiler that produces Lua/JavaScript

    • Project mention: LunarML – The Standard ML compiler that produces Lua/JavaScript | news.ycombinator.com | 2024-05-22

  • smlpkg

    Generic package manager for Standard ML libraries and programs

  • smlfmt

    A custom parser/auto-formatter for Standard ML

  • molasses

    MLB support for CM (the SML/NJ Compilation and Library Manager) (by T-Brick)

  • SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo

  • sml-parseq

    parallel sequences library in Standard ML

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Standard ML standard-ml related posts

  • LunarML – The Standard ML compiler that produces Lua/JavaScript

    2 projects | news.ycombinator.com | 22 May 2024

  • MPL: Automatic Management of Parallelism

    1 project | news.ycombinator.com | 28 Mar 2024

  • Flunct: Well-typed, fluent APIs in SML

    4 projects | news.ycombinator.com | 25 Jun 2023

  • Simple JSON parser in c++, rust, ocaml, standard ml

    3 projects | dev.to | 11 Feb 2023

  • smlfmt v1.0.0: a custom parser and code formatter for Standard ML

    1 project | /r/sml | 10 Jan 2023

  • A good dependency manager for a new programming language?

    1 project | /r/ProgrammingLanguages | 20 Dec 2022

  • Millet, a Language Server for SML

    7 projects | news.ycombinator.com | 18 Aug 2022
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 1 Jun 2024
    Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →

Index

What are some of the best open-source standard-ml projects in Standard ML? This list will help you:

Project Stars
1 mlton 923
2 mpl 300
3 mlkit 268
4 LunarML 338
5 smlpkg 159
6 smlfmt 61
7 molasses 17
8 sml-parseq 4

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com