FaCiLe is a constraint programming library over integer finite domain written in OCaml. It offers all usual facilities to create and manipulate finite domain variables, arithmetic expressions and constraints (possibly non-linear), built-in global constraints, and search goals. It also allows you to build easily user-defined constraints and goals (including recursive ones), making pervasive use of OCaml higher-order functionals to provide a simple and flexible interface for the user.
SMLserver is a Web server plugin for AOLserver, an Open Source multi-threaded Web server provided by America Online and used for large-scale, dynamic Web sites. SMLserver allows efficient threaded execution of Standard ML programs and inherits many of the great features of AOLserver, including the possibility of accessing a variety of different relational database management systems (RDBMSs), such as Oracle, MySQL, and PostgreSQL.
FFTW is a fast C FFT library. It includes complex, real, symmetric, multidimensional, and parallel transforms, and can handle arbitrary array sizes efficiently.It is typically faster than other freely available FFT implementations, and is even competitive with vendor-tuned libraries (benchmarks are available at the homepage). To achieve this performance, it uses novel code generation and runtime self optimization techniques (along with many other tricks).
sml/nj (Standard ML of New Jersey) consists of a compiler, compilation manager, and libraries for Standard ML. Included are CML (Concurrent ML) and eXene (a toolkit for X based on CML). The compiler produces efficient code for most popular architectures (Intel x86, Sparc, Alpha, Mips, HP-PA, PowerPC) and runs under Unix, Linux, or Windows (95,98,NT).
WDialog is a system to make dialog-centric Web applications. It imitates the behavior of widgets found in GUIs, but acts in an HTML/HTTP environment. It uses its own XML-based UI language, but callbacks are coded in a normal programming language: either O'Caml or Perl. WDialog is written in Objective Caml, an ML variant.
PXP is a validating XML parser for the programming language Objective Caml. It strictly implements the full XML-1.0 standard. The XML instance is represented as a tree of objects. It is also possible to access the DTD. PXP means "Polymorphic XML parser" and emphasizes its most useful property: that the API is polymorphic and can be configured such that different classes are used to store different types of elements. PXP contains a user's manual and several example, and has been designed with CGI programming in mind, however is not limited to this field.