SaaSHub helps you find the best software and product alternatives Learn more →
Top 7 Standard ML sml Projects
-
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.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
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?
Project mention: CakeML: A formally verified implementation of ML | news.ycombinator.com | 2024-05-14
Project mention: Bend: The first high-level language that runs natively on GPUs (via HVM2) | news.ycombinator.com | 2024-05-17Nowadays 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.
Standard ML sml related posts
-
MPL: Automatic Management of Parallelism
-
Flunct: Well-typed, fluent APIs in SML
-
A good dependency manager for a new programming language?
-
Millet, a Language Server for SML
-
Modules: Overcoming Stockholm and Duning-Kruger
-
Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp
-
Standard ML [PLDI 2021]
-
A note from our sponsor - SaaSHub
www.saashub.com | 1 Jun 2024
Index
What are some of the best open-source sml projects in Standard ML? This list will help you:
Project | Stars | |
---|---|---|
1 | mlton | 923 |
2 | cakeml | 921 |
3 | mpl | 300 |
4 | smlpkg | 159 |
5 | install-mlkit | 5 |
6 | smlnj-viscomp-example | 4 |
7 | sml-parseq | 4 |
Sponsored