HCoop / hcoop / debian / mlton.git / blame
| Commit | Line | Data |
|---|---|---|
| 7f918cf1 CE |
1 | Libraries |
| 2 | ========= | |
| 3 | ||
| 4 | In theory every strictly conforming Standard ML program should run on | |
| 5 | MLton. However, often large SML projects use implementation specific | |
| 6 | features so some "porting" is required. Here is a partial list of | |
| 7 | software that is known to run on MLton. | |
| 8 | ||
| 9 | * Utility libraries: | |
| 10 | ** <:SMLNJLibrary:> - distributed with MLton | |
| 11 | ** <:MLtonLibraryProject:> - various libraries located on the MLton subversion repository | |
| 12 | ** <!ViewGitDir(mlton,master,lib/mlton)> - the internal MLton utility library, which we hope to cleanup and make more accessible someday | |
| 13 | ** http://github.com/seanmcl/sml-ext[sml-ext], a grab bag of libraries for MLton and other SML implementations (by Sean McLaughlin) | |
| 14 | ** http://tom7misc.cvs.sourceforge.net/tom7misc/sml-lib/[sml-lib], a grab bag of libraries for MLton and other SML implementations (by <:TomMurphy:>) | |
| 15 | * Scanner generators: | |
| 16 | ** <:MLLPTLibrary:> - distributed with MLton | |
| 17 | ** <:MLLex:> - distributed with MLton | |
| 18 | ** <:MLULex:> - | |
| 19 | * Parser generators: | |
| 20 | ** <:MLAntlr:> - | |
| 21 | ** <:MLLPTLibrary:> - distributed with MLton | |
| 22 | ** <:MLYacc:> - distributed with MLton | |
| 23 | * Concurrency: <:ConcurrentML:> - distributed with MLton | |
| 24 | * Graphics | |
| 25 | ** <:SML3d:> | |
| 26 | ** <:mGTK:> | |
| 27 | * Misc. libraries: | |
| 28 | ** <:CKitLibrary:> - distributed with MLton | |
| 29 | ** <:MLRISCLibrary:> - distributed with MLton | |
| 30 | ** <:MLNLFFI:ML-NLFFI> - distributed with MLton | |
| 31 | ** <:Swerve:>, an HTTP server | |
| 32 | ** <:fxp:>, an XML parser | |
| 33 | ||
| 34 | == Ports in progress == | |
| 35 | ||
| 36 | <:Contact:> us for details on any of these. | |
| 37 | ||
| 38 | * <:MLDoc:> http://people.cs.uchicago.edu/%7Ejhr/tools/ml-doc.html | |
| 39 | * <:Unicode:> | |
| 40 | ||
| 41 | == More == | |
| 42 | ||
| 43 | More projects using MLton can be seen on the <:Users:> page. | |
| 44 | ||
| 45 | == Software for SML implementations other than MLton == | |
| 46 | ||
| 47 | * PostgreSQL | |
| 48 | ** Moscow ML: http://www.dina.kvl.dk/%7Esestoft/mosmllib/Postgres.html | |
| 49 | ** SML/NJ NLFFI: http://smlweb.sourceforge.net/smlsql/ | |
| 50 | * Web: | |
| 51 | ** ML Kit: http://www.smlserver.org[SMLserver] (a plugin for AOLserver) | |
| 52 | ** Moscow ML: http://ellemose.dina.kvl.dk/%7Esestoft/msp/index.msp[ML Server Pages] (support for PHP-style CGI scripting) | |
| 53 | ** SML/NJ: http://smlweb.sourceforge.net/[smlweb] |