dev-lang

  • Multi-target universal programming language
  • Neko is a high-level dynamically typed programming language
  • Programming language supporting functional, imperative & object-oriented styles
  • Poly/ML is a full implementation of Standard ML
  • Standard ML of New Jersey compiler and libraries

dev-ml

dev-util

sci-mathematics

The ML Project maintains packages related to the ML programming language family.