PanLinx
Deutsch
deu-000
Standard ML of New Jersey
English
eng-000
Standard ML of New Jersey
PanLex