F*

functional programming language inspired by ML and aimed at program verification

en-GB/ɛf */
en-US/ˈɛf */

Categories:

source-to-source compilerprogramming language