The dev-ml category contains libraries and utilities relevant to the
ML programming language.
Die Kategorie dev-ml enthält Bibliotheken und Werkzeuge für die
Programmiersprache ML.
La categoría dev-ml contiene librerías y utilidades referentes al
lenguaje de programación ML.
dev-ml カテゴリーにはMLプログラミング言語に関連したライブラリーと
ユーティリティが含まれます。
De dev-ml categorie bevat bibliotheken en hulpmiddelen voor het gebruik
van de programmeertaal ML.
Nhóm dev-ml chứa các thư viện và tiện ích liên quan
đến ngôn ngữ lập trình ML.
La categoría dev-ml contiene librerie ed utilità per il linguaggio di programmazione ML.