Top 13 standard-ml Open-Source Projects

mlton

9 912 8.5 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 284 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 9.1 Standard ML

The Standard ML compiler that produces Lua/JavaScript
sml-compiler

9 196 0.0 Rust

A compiler for Standard ML, somewhat
millet

6 192 9.5 Rust

A language server for Standard ML.

Project mention: Four Lectures on Standard ML (1989) [pdf] | news.ycombinator.com | 2023-09-06

SML pops up now and again on HN, which is always nice to see. I wrote a language server for SML in an attempt to improve the tooling situation around the language: https://azdavis.net/posts/millet/
The main motivator for why I did this is because we use SML as a teaching language at my university and students always seem to struggle with the error messages and tooling from the compiler.

smlnj

2 158 9.1 C++

Standard ML of New Jersey
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.
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
sml-analyzer

1 23 0.0 Rust

An experimental language server for SomewhatML
molasses

1 17 3.8 Standard ML

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

1 4 4.5 Standard ML

parallel sequences library in Standard ML
sml_rules

2 0 6.2 Starlark

Bazel SML rules provide the necessary rules to build and test SML (Standard ML) applications using Bazel.

Project mention: Bazel Build Rules for Standard ML | /r/bazel | 2023-05-20

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). The latest post mention was on 2024-03-30.