Software > Programming >

was mythryl.org
https://github.com/mythryl/mythryl

A programming language which resurrects and improves upon SML/NJ to create the first production-ready mathematically-provable language.

Had incredible potential; I was highly interested in this and its abandonment was the final nail in the coffin for my desire to program.

• Abandoned – The author Cynbe ru Taren (Jeffrey Prothero) died, the community evaporated, and a resulting foundation was later abandoned by his widow.