ML Implementations in the Best of the Web Directory

ML Implementations

  • Concurrent ML

    Standard ML extension provides reference manual, FAQs, talk slides, and links to related sites.

  • DML

    Defines DML as a Dependent Meta-Language that is a conservative extension of the functional programming language ML. Provides sample codes and other researches.

  • 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.

  • 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.

Submit a site to this category