Top 3 Standard ML sml Projects
The MLton repositoryProject mention: Are there any efficient key-value map/dictionary implementations in SML? | reddit.com/r/sml | 2020-12-27
CakeML: A Verified Implementation of MLProject mention: A Proven Correct C Compiler (Used by Airbus) | news.ycombinator.com | 2021-06-26
CakeML is another formally verified compiler. Notably, unlike compcert, it is open source.
The language it implements (an sml dialect) is high-level and garbage collected, meaning that it is not usable in all of the same domains, but work is ongoing to reuse much of the compiler infrastructure for 'pancake', a low-level language.
Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.
Generic package manager for Standard ML libraries and programs