{"id":38638,"library":"mlton-tools","title":"MLton Tools","description":"Additional tools for the MLton Standard ML compiler.","status":"active","version":"20210117+dfsg","language":"standard-ml","source_language":null,"source_url":null,"tags":[],"install":[{"cmd":"apt install mlton-tools"}],"dependencies":[],"imports":[],"quickstart":null,"warnings":[],"env_vars":null,"search_vec":"'addit':3 'compil':10 'ml':9 'mlton':1,7 'standard':8 'tool':2,4","created_at":"2026-05-31T19:00:06.804111+00:00","updated_at":"2026-05-31T19:00:06.804111+00:00","problems":[],"ecosystem":"pypi","meta_description":null,"install_score":null,"quickstart_score":null,"quickstart_tag":null,"pypi_latest":null,"cli_name":null,"cli_version":null,"type":"cli","homepage":"http://mlton.org/","github":null,"docs":null,"changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"categories":["productivity"],"base_url":null,"auth_type":null,"provenance":{"verified_status":null,"verified_at":null,"last_verified":null,"next_check":null,"install_tag":"reviewed"}}