Top 8 Standard ML standard-ml Projects

mlton

9 916 8.3 Standard ML

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

7 285 8.4 Standard ML

The MaPLe compiler for efficient and scalable parallel functional programming

Project mention: Garbage Collection for Systems Programmers | news.ycombinator.com | 2024-03-30

I'm one of the authors of this work -- I can explain a little.
"Provably efficient" means that the language provides worst-case performance guarantees.
For example in the "Automatic Parallelism Management" paper (https://dl.acm.org/doi/10.1145/3632880), we develop a compiler and run-time system that can execute extremely fine-grained parallel code without losing performance. (Concretely, imagine tiny tasks of around only 10-100 instructions each.)
The key idea is to make sure that any task which is *too tiny* is executed sequentially instead of in parallel. To make this happen, we use a scheduler that runs in the background during execution. It is the scheduler's job to decide on-the-fly which tasks should be sequentialized and which tasks should be "promoted" into actual threads that can run in parallel. Intuitively, each promotion incurs a cost, but also exposes parallelism.
In the paper, we present our scheduler and prove a worst-case performance bound. We specifically show that the total overhead of promotion will be at most a small constant factor (e.g., 1% overhead), and also that the theoretical amount of parallelism is unaffected, asymptotically.
All of this is implemented in MaPLe (https://github.com/mpllang/mpl) and you can go play with it now!

InfluxDB

www.influxdata.com sponsored

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.
mlkit

2 264 7.7 Standard ML

Standard ML Compiler and Toolkit (by melsman)
LunarML

3 240 8.9 Standard ML

The Standard ML compiler that produces Lua/JavaScript
smlpkg

4 157 3.9 Standard ML

Generic package manager for Standard ML libraries and programs
smlfmt

3 61 5.9 Standard ML

A custom parser/auto-formatter for Standard ML
molasses

1 17 3.8 Standard ML

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

workos.com sponsored

The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
sml-parseq

1 4 4.5 Standard ML

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).