Standard ML Compiler Projects
The MLton repositoryProject mention: Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp | news.ycombinator.com | 2021-09-10
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.
Are you hiring? Post a new remote job listing for free.