C* Languages

  • F*: Fortran, Lisp

  • C*: C, C++, Pascal