Below is a list of languages that have been specified with one or more of the Centaur formalisms (Metal, SDF, Typol, ASF). Of course, all the Centaur formalisms mentioned above and, additionally, PPML also have associated Centaur environments.
C, Ada, Pascal, Fortran77/90, Le Lisp, Esterel, Lustre, VDM, LOTOS, ASN1*, EIFFEL*, SISAL, VHDL, ADL, ALPHA, SIGNAL, MANIFOLD, mu-CRL, L, SETL
NB: (*) subsets of the language have been described under Centaur.