The lates code base is https://github.com/JonathanWoollett-Light/formal
A language with the features of all those cool functional languages, but actually usable.
No-one thinks in the way functional languages are written. This will never change, no matter how many new functional languages PhD students publish.