-
Concurrent ML
Standard ML extension provides reference manual, FAQs, talk slides, and links to related sites.
-
Edinburgh Concurrency Workbench
Implementation tool explores, verifies and describes concurrent systems. Contains documentations, examples, and related links.
-
ERESI Reverse Engineering Software Interface
Presents binary analysis framework such as ELF Shell, Debugger, and Tracer designed for Executable and Linking Format-based operating systems. With manuals and notes, articles, and version release.
-
Extended ML
Supplies answers to FAQs regarding the programming language. Offers a list of downloadable documents for further reference.
-
Hardcore Processing: SDL::ML
Descriptions and instructions in using Standard ML programming language bindings for the SDL library. Includes package release.
-
Isabelle
Generic theorem proving system's compatible with ML language environment. With installation instructions, screenshot, releases, manuals, tutorials and FAQs.
-
MLton
Brief information about MLton and its features, documentation, developers and frequently asked questions.
-
MONA Project
Translation tool converts formulas and finite-state automata. Includes demonstrations, change history, and publications.
-
Open Source Release of MLj
Features a short summary about the SML compiler with other references of ML implementations. Offers online demos and downloadable versions.
-
Poly/ML
Supports FAQs answered by researchers. Offers versions 4 and 5 release notes, documents, manuals and tutorials.
-
Princeton University: The Theory and Practice of Data Description
Thesis elaborates on architecture and implementation of PADS/ML language.
-
Standard ML of New Jersey
Presents background of SML of the free open source software. Supplies access to latest downloadable versions for Unix or Windows.
-
The TILT Compiler Project
Highlights the abilities and purpose of the compiler. Provides links to other papers related to TILT.
-
Venari Project
Software support to access, retrieve, and store semantic-based objects using Standard ML programming implementation. Provides numerous postscript versions of research papers.