F* is a great project and under very active development. Basically at every POPL you find papers with genuine improvements and simplifications to the core of F*

F* is a great project and under very active development. Basically at every POPL you find papers with genuine improvements and simplifications to the core of F*. I don't know of any other language that's improving this rapidly.