P* Languages

  • F*: Fortran, Lisp

  • C*: C, C++, Pascal

  • P*: Python, Perl, PHP