Open Hub
Open Hub

Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

  • standard_ml (5)

    MLton

    Compare

      Analyzed about 1 month ago

    MLton is an open-source, whole-program, optimizing Standard ML compiler.

    29K lines of code

    5 current contributors

    about 2 months since last commit

    4 users on Open Hub

    Activity Not Available
    4.5
       
    0 Reviews
    I Use This
    Mostly written in C
    Licenses: BSD-3-Clause
    Tags compiler functional language programming_language standard_ml

    Poly/ML

    Compare

      Analyzed about 1 month ago

    The Poly/ML implementation of Standard ML

    513K lines of code

    0 current contributors

    almost 16 years since last commit

    0 users on Open Hub

    Activity Not Available
    0.0
     
    0 Reviews
    I Use This
    Mostly written in shell script
    Licenses: No declared licenses
    Tags compiler functional language programming_language standard_ml

    quantomatic

    Compare

      Analyzed 9 months ago

    Quantomatic is an interactive graph rewriting tool. It allows users to construct a graph with a set of generators and perform rewrites modulo a customisable theory engine. Many more features to come.

    49.6K lines of code

    4 current contributors

    over 5 years since last commit

    0 users on Open Hub

    Activity Not Available
    0.0
     
    0 Reviews
    I Use This
    Mostly written in OCaml
    Licenses: gpl
    Tags academic graphrewriting java research researchtool standard_ml

    initool-sml

    Compare

      Analyzed about 1 month ago

    Manipulate INI files

    110 lines of code

    1 current contributors

    4 months since last commit

    0 users on Open Hub

    Activity Not Available
    0.0
     
    0 Reviews
    I Use This
    Mostly written in shell script
    Licenses: mit
    Tags configuration configuration_management freebsd ini ini_file inifile linux parser sml standard_ml windows