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 →
Top 3 Standard ML Compiler 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.
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: LunarML – The Standard ML compiler that produces Lua/JavaScript | news.ycombinator.com | 2024-05-22This 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....
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 Compiler related posts
-
LunarML – The Standard ML compiler that produces Lua/JavaScript
-
CakeML: A formally verified implementation of ML
-
CakeML – A Verified Implementation of ML
-
Simple JSON parser in c++, rust, ocaml, standard ml
-
Tools for Verifying a Language and its Semantics
-
Millet, a Language Server for SML
-
Modules: Overcoming Stockholm and Duning-Kruger
-
A note from our sponsor - InfluxDB
www.influxdata.com | 1 Jun 2024
Index
What are some of the best open-source Compiler projects in Standard ML? This list will help you:
Project | Stars | |
---|---|---|
1 | mlton | 923 |
2 | cakeml | 921 |
3 | mlkit | 268 |
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com