Официально пока поддерживается только C #. Неофициально любой язык, который может компилироваться в поддающуюся проверке управляемую сборку (требование проверяемости также распространяется на все зависимости!), Хорош, поэтому вы должны иметь возможность использовать, например, C ++ / CLI, F #, Delphi Prism ...