Alice ML is a functional programming language that enriches the statically typed, closed functional world of ML with extensive support for type-safe programming of concurrent, distributed, and open systems. It also features cutting-edge constraint programming technology in the tradition of Oz/ Mozart. Alice ML is a mostly conservative extension of Standard ML.
Bibgrep indexes and efficiently searches BibTex files. Its usage is similar to the command grep and the queries use a Google-like syntax. Bibgrep will create an index for each BibTex file it touches, and keep the result within "~/.bibgrep.idx" (by defaults). It watches the modification date and the size of the original BibTex file, and will update (and delete) its index as needed.
Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.
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.
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.
SwiftSurf is an HTTP proxy that lets you do a lot of things. You can spy, filter, and modify the HTTP requests that your browser sends, as well as the answers it receives. Some of its possible uses include filtering ads, limiting access to a specific domain, or suppressing cookies.