app-emacs

dev-lang

  • Embeddable Lambda Prolog Interpreter in OCaml
  • 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-calculators

sci-mathematics

sys-fs