-
F* is a dependently typed language that can be transpiled to idiomatic C via the KReMLin compiler. It’s very ML-ish to write and you can leave out some proofs. It also has the benefit of being used to write a formally verified TLS implementation that’s in wide use throughout industry.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
Have you seen Val Programming language? Probably not exact what you ask for, but might have some interesting aspects for you? I just learn about that one yesterday, from an article about value based programming. I haven't had time to download and test it myself yet.
-
Ante is what you are looking for. It's an ML descendant with no RTS nor AGC.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.