{"id":24865524,"url":"https://github.com/kfl/mosml","last_synced_at":"2026-02-09T16:33:48.805Z","repository":{"id":542751,"uuid":"172700","full_name":"kfl/mosml","owner":"kfl","description":"Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.","archived":false,"fork":false,"pushed_at":"2024-01-26T17:35:41.000Z","size":11401,"stargazers_count":351,"open_issues_count":47,"forks_count":42,"subscribers_count":31,"default_branch":"master","last_synced_at":"2025-08-08T04:33:03.290Z","etag":null,"topics":["compiler","programming-language","standard-ml"],"latest_commit_sha":null,"homepage":"http://mosml.org","language":"Standard ML","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/kfl.png","metadata":{"files":{"readme":"README","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":"roadmap","authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2009-04-10T12:43:15.000Z","updated_at":"2025-08-05T10:58:44.000Z","dependencies_parsed_at":"2022-07-14T17:18:00.547Z","dependency_job_id":"6d8a89f2-4d9a-4319-8053-572b1645f413","html_url":"https://github.com/kfl/mosml","commit_stats":{"total_commits":566,"total_committers":11,"mean_commits":51.45454545454545,"dds":0.6095406360424028,"last_synced_commit":"13c581aec46eea134e478f2e2b6456278e36ecce"},"previous_names":[],"tags_count":4,"template":false,"template_full_name":null,"purl":"pkg:github/kfl/mosml","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kfl%2Fmosml","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kfl%2Fmosml/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kfl%2Fmosml/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kfl%2Fmosml/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/kfl","download_url":"https://codeload.github.com/kfl/mosml/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kfl%2Fmosml/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29272878,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-02-09T13:47:44.167Z","status":"ssl_error","status_checked_at":"2026-02-09T13:47:43.721Z","response_time":56,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["compiler","programming-language","standard-ml"],"created_at":"2025-01-31T23:59:59.741Z","updated_at":"2026-02-09T16:33:48.787Z","avatar_url":"https://github.com/kfl.png","language":"Standard ML","funding_links":[],"categories":[],"sub_categories":[],"readme":"This is file README for Moscow ML 2.10.1 for Linux/Unix (August 2014)\n\nEXTENT OF THE IMPLEMENTATION\n\nThe current version 2.10.1 of Moscow ML\n\n    * implements the full Standard ML language, as revised 1997, \n      including Modules and some extensions\n    * yet is backwards compatible with versions prior to 2.00\n    * implements large parts of the new SML Basis Library\n    * implements separate compilation \n    * can produce compact stand-alone executables (a la Caml Light)\n    * supports quotations and antiquotations, useful for metaprogramming\n    * supports dynamic linking of external functions under Linux (x86\n      and Alpha), FreeBSD, NetBSD, Solaris, Digital Unix, HP-UX,\n      MacOS, and MS Windows'95/98/NT/XP/Vista and possibly also 7 and 8. \n\nNew in version 2.10.1 of Moscow ML\n\n  * ML Server Pages added to examples\n  * Build system cleaned up a bit\n\nNew in version 2.10 of Moscow ML\n\n  * Support for dynamic linking and callback from C also under MacOS X\n  * There may now be 2 G globals (string literals etc) instead of 64 K\n  * Bugs fixed:\n    * The HTML files generated for mosmllib now have valid URLs\n    * Substring.app more efficient\n    * Recursive structure compilation (elabRecSigExp) fixed\n    * Several errors in Mosmlcookie\n    * Misplaced double quote in Msp.ahrefa \n    * Exception Option wasn't available at top-level\n    * Linker did not check stamps of linked-in units\n    * Hash function now much faster on very long strings\n    * Double alignment constraints now correct with gcc-3.2 and Solaris\n    * Bug in Polyhash.filter\n    * Socket library returned only first 16 bytes of UDP datagram\n  * SML Basis Library changes:\n    * String and Substring: added concatWith, isSuffix, isSubstring, full\n    * ListPair: added zipEq, appEq, mapEq, foldlEq, foldrEq, allEq\n    * Added ArraySlice and VectorSlice structures, also for Char and Word8\n    * Added find, findi, all, exists, collate to vector, array and \n      slice structures\n    * Added collate to List\n    * Added update to vector structures\n    * Path.{mkRelative,mkAbsolute} now take record arguments\n    * Negative Time.time values allowed\n    * OS.Process: new functions sleep and isSuccess; status not eqtype\n    * Listsort: added eqclasses, merge, mergeUniq\n    * Path: added functions isRoot, fromUnixPath, toUnixPath, and\n      exception InvalidArc (bug report by Henning Niss)\n    * TextIO: inputLine now have type instream -\u003e string option\n    * Array: added type abbreviation vector (bug report by Andrzej\n      Wasowski)\n    * FileSys: type access renamed to access_mode (bug report by\n      Henning Niss)\n    * Byte: unpackString{,Vec} now uses vector slices (bug report by\n      Henning Niss)\n    * Unix: added functions fromStatus, textInstreamOf, binInstreamOf,\n      textOutstreamOf, binOutstreamOf, exit, and added phantom types\n      to proc (bug report by Henning Niss)\n    * Timer: added function checkCPUTimes\n    * Word and Word8: added functions toLarge, toLargeX, and fromLarge\n      (bug report by Martin Elsman)\n    * General: added exception Span and made the type of the function\n      'before' less general (bug report by Henning Niss)\n  * Added modules to mosmllib:\n    * Buffer: mutable string buffers for fast and efficient\n      concatenation of strings\n    * Hashset: sets implemented by hash-tables\n    * Rbset: ordered sets implemented by red-black trees\n    * Redblackmap: maps implemented by red-black trees\n  * Moscow ML is now developed in the open at github.\n\n\nSYSTEM REQUIREMENTS\n\nCompilation under Unix is best done using GNU make, gcc, and Perl.  A\nbinary installation requires 8 MB disk space; a source installation\nrequires 25 MB disk space.\n\nLIST OF FILES\n\nExecutables and bytecode files:\n    bin/*               Moscow ML top-level system and batch compiler\n    lib/*               Bytecode files and standard libraries\n    tools/*             Tools to infer unit inter-dependencies\n\nDocumentation files:\n    install.txt         Installation instructions for Linux\n    README              This file\n    doc/manual.pdf      User manual (PDF format)\n    doc/mosmlref.pdf    A compact guide to Moscow ML syntax and primitives\n    doc/mosmllib.pdf    Moscow ML library documentation with an index\n    doc/mosmllib/*.html Moscow ML library documentation in HTML format\n    copyrght/*          Copyright notices (for Caml Light, SML/NJ, ...)\n\nAUTHOR AND CREDITS\n\nMoscow ML was written by\n    Sergei Romanenko (roman@keldysh.ru)\n    Keldysh Institute of Applied Mathematics, Russian Academy of Sciences\n    Miusskaya Pl. 4, 125047 Moscow, Russia\nand Claudio V. Russo at Edinburgh University, now at Microsoft Research UK,\n    Thanks to Don Sannella at LFCS, Division of Informatics,\n    University of Edinburgh for funding under EPSRC grant GR/K63795\nand Peter Sestoft (sestoft@itu.dk),\n    IT University of Copenhagen, Denmark.\n    Previously at Department of Mathematics and Physics, Royal Veterinary and\n    Agricultural University, Denmark.\n    Much of the work was done at the Technical University of\n    Denmark, and while visiting AT\u0026T Bell Laboratories, New Jersey, USA.\nand Ken Friis Larsen (ken@friislarsen.net)\n    Department of Computer Science, University of Copenhagen,\n    Denmark.\n\nMoscow ML owes much to:\n    * the CAML Light implementation by Xavier Leroy and Damien Doligez\n      (INRIA, Rocquencourt, France); especially the Caml Light bytecode\n      generator and the runtime system;\n    * the ML Kit by Lars Birkedal, Nick Rothwell, Mads Tofte and David Turner\n      (Copenhagen University, Denmark, and Edinburgh University, Scotland);\n    * inspiration from the SML/NJ compiler developed at Princeton\n      University and AT\u0026T Bell Laboratories, New Jersey, USA; \n    * the good work by Doug Currie, Flavors Technology, USA, on the\n      MacOS port and many improvements; and\n    * feedback, contributions, and useful suggestions, in particular\n      from Jonas Barklund, Mike Gordon, Michael Norrish, Konrad Slind,\n      Jakob Lichtenberg, Hans Molin, and numerous other people.\n\nCOPYRIGHT NOTICE FOR MOSCOW ML\n\n    Moscow ML - a lightweight implementation of Standard ML.\n    Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000\n    Sergei Romanenko, Moscow, Russia and Peter Sestoft, Copenhagen, Denmark.\n\n    This program is free software; you can redistribute it and/or\n    modify it under the terms of the GNU General Public License\n    as published by the Free Software Foundation; either version 2\n    of the License, or (at your option) any later version.\n\n    This program is distributed in the hope that it will be useful,\n    but WITHOUT ANY WARRANTY; without even the implied warranty of\n    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the\n    GNU General Public License in copyrght/gpl2 for more details.\n\n    You should have received a copy of the GNU General Public License\n    along with this program; if not, write to the Free Software\n    Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.\n\nNote that a number of source files are derived from the Caml Light\ndistribution, copyright (C) 1993 INRIA, Rocquencourt, France.  Thus\ncharging money for redistributing Moscow ML may require prior\npermission from INRIA; see the INRIA copyright notice in file\ncopyrght/copyrght.cl.  The Caml Light system itself can be obtained\nfrom ftp.inria.fr:lang/caml-light.\n\nAVAILABILITY\n\n  * The Moscow ML home page is at  \n      http://mosml.org\n  * Moscow ML library documentation\n      http://mosml.org/mosmllib/\n  * The source files can be downloaded from GitHub at\n      https://github.com/kfl/mosml/zipball/master\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkfl%2Fmosml","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fkfl%2Fmosml","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fkfl%2Fmosml/lists"}